From be99470b293ba3ab94fb19e76e12ad6e92db187a Mon Sep 17 00:00:00 2001 From: Andrew Murray Date: Sat, 19 Jan 2019 20:27:11 +1100 Subject: [PATCH] Moved docs JS file into custom directory --- docs/conf.py | 2 +- docs/{_static => resources}/js/script.js | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename docs/{_static => resources}/js/script.js (100%) diff --git a/docs/conf.py b/docs/conf.py index e75546c49..2c25588a0 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -140,7 +140,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'] +html_static_path = ['_static', 'resources'] # Add any extra paths that contain custom files (such as robots.txt or # .htaccess) here, relative to this directory. These files are copied diff --git a/docs/_static/js/script.js b/docs/resources/js/script.js similarity index 100% rename from docs/_static/js/script.js rename to docs/resources/js/script.js