summaryrefslogtreecommitdiff
path: root/sphinx/config.py
diff options
context:
space:
mode:
Diffstat (limited to 'sphinx/config.py')
-rw-r--r--sphinx/config.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/sphinx/config.py b/sphinx/config.py
index 566132b57..a77957777 100644
--- a/sphinx/config.py
+++ b/sphinx/config.py
@@ -60,6 +60,7 @@ class Config(object):
modindex_common_prefix = ([], 'html'),
rst_epilog = (None, 'env'),
trim_doctest_flags = (True, 'env'),
+ needs_sphinx = (None, None),
# HTML options
html_theme = ('default', 'html'),