From 8e02234970d19827ff9e65f7909e0614d44c1442 Mon Sep 17 00:00:00 2001 From: Simon Arlott Date: Sun, 12 Aug 2018 09:37:50 +0100 Subject: [PATCH] doc: there is no _static directory --- doc/oper-guide/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/oper-guide/conf.py b/doc/oper-guide/conf.py index 38ff41f0..2befd373 100644 --- a/doc/oper-guide/conf.py +++ b/doc/oper-guide/conf.py @@ -153,7 +153,7 @@ todo_include_todos = False # 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'] # Add any extra paths that contain custom files (such as robots.txt or # .htaccess) here, relative to this directory. These files are copied