diff options
Diffstat (limited to 'sphinx/config.py')
| -rw-r--r-- | sphinx/config.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sphinx/config.py b/sphinx/config.py index 1184f1891..74b97cbeb 100644 --- a/sphinx/config.py +++ b/sphinx/config.py @@ -139,6 +139,7 @@ class Config(object): numfig_secnum_depth = (1, 'env', []), numfig_format = ({}, 'env', []), # will be initialized in init_numfig_format() + math_number_all = (False, 'env', []), tls_verify = (True, 'env', []), tls_cacerts = (None, 'env', []), smartquotes = (True, 'env', []), |