From d8594041b5b37ed6b2109e61006b0bb40748b0b8 Mon Sep 17 00:00:00 2001 From: Jon Dufresne Date: Sat, 6 Jul 2019 16:37:57 -0700 Subject: [PATCH] Remove empty, unused directory docs/_static --- MANIFEST.in | 1 - docs/Guardfile | 1 - docs/_static/.gitignore | 1 - docs/conf.py | 2 +- 4 files changed, 1 insertion(+), 4 deletions(-) delete mode 100644 docs/_static/.gitignore diff --git a/MANIFEST.in b/MANIFEST.in index c421a7bd4..79f4e2adb 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -14,7 +14,6 @@ graft src graft depends graft winbuild graft docs -prune docs/_static # build/src control detritus exclude .appveyor.yml diff --git a/docs/Guardfile b/docs/Guardfile index f8f3051ed..5055d0aa5 100755 --- a/docs/Guardfile +++ b/docs/Guardfile @@ -4,7 +4,6 @@ from livereload.compiler import shell Task.add('*.rst', shell('make html')) Task.add('*/*.rst', shell('make html')) -Task.add('_static/*.css', shell('make clean html')) Task.add('_templates/*', shell('make clean html')) Task.add('Makefile', shell('make html')) Task.add('conf.py', shell('make html')) diff --git a/docs/_static/.gitignore b/docs/_static/.gitignore deleted file mode 100644 index b1f9a2ade..000000000 --- a/docs/_static/.gitignore +++ /dev/null @@ -1 +0,0 @@ -# Empty file, to make the directory available in the repository diff --git a/docs/conf.py b/docs/conf.py index 0eb137daa..c392b3524 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -139,7 +139,7 @@ html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] # 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", "resources"] +html_static_path = ["resources"] # Add any extra paths that contain custom files (such as robots.txt or # .htaccess) here, relative to this directory. These files are copied