From c8a8d1902fdff99866952b58320dfc8c51d218aa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marek=20Vavru=C5=A1a?= <marek.vavrusa@nic.cz> Date: Wed, 18 Mar 2015 16:31:41 +0100 Subject: [PATCH] doc: _static --- doc/_static/.gitignore | 0 doc/conf.py | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 doc/_static/.gitignore diff --git a/doc/_static/.gitignore b/doc/_static/.gitignore new file mode 100644 index 000000000..e69de29bb diff --git a/doc/conf.py b/doc/conf.py index 1da178233..62658ef95 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -68,7 +68,7 @@ html_theme = 'sphinx_rtd_theme' # 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'] +html_static_path = ['_static'] # If true, SmartyPants will be used to convert quotes and dashes to # typographically correct entities. -- GitLab