Remove empty, unused directory docs/_static

This commit is contained in:
Jon Dufresne 2019-07-06 16:37:57 -07:00
parent 6568829d08
commit d8594041b5
4 changed files with 1 additions and 4 deletions

View File

@ -14,7 +14,6 @@ graft src
graft depends
graft winbuild
graft docs
prune docs/_static
# build/src control detritus
exclude .appveyor.yml

View File

@ -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'))

View File

@ -1 +0,0 @@
# Empty file, to make the directory available in the repository

View File

@ -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