diff --git a/doc/_static/.gitignore b/doc/_static/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 diff --git a/doc/conf.py b/doc/conf.py index 1da1782339d57928fbd70adb3d0be2248bba44d0..62658ef954bf7785a2aa3043373c7b243e60e086 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.