From 17f8358fce8951dc77fab144e95cdb431245eaa9 Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Thu, 27 Jul 2023 15:55:07 +0200 Subject: [PATCH] Revert removing _static directory --- docs/sphinx_docs/_static/.gitkeep | 0 docs/sphinx_docs/conf.py | 5 +++++ 2 files changed, 5 insertions(+) create mode 100644 docs/sphinx_docs/_static/.gitkeep diff --git a/docs/sphinx_docs/_static/.gitkeep b/docs/sphinx_docs/_static/.gitkeep new file mode 100644 index 000000000..e69de29bb diff --git a/docs/sphinx_docs/conf.py b/docs/sphinx_docs/conf.py index 0a557f681..cf504c2a3 100644 --- a/docs/sphinx_docs/conf.py +++ b/docs/sphinx_docs/conf.py @@ -55,3 +55,8 @@ myst_heading_anchors = 3 html_show_sourcelink = False + +# Add any paths that contain custom static files (such as style sheets) here, +# relative to this directory. They are copied after the builtin static files, +# so a file named "default.css" will overwrite the builtin "default.css". +html_static_path = ['_static']