diff options
author | Georg Brandl <georg@python.org> | 2014-01-12 20:46:50 +0100 |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2014-01-12 20:46:50 +0100 |
commit | 0ce3e1b81e8105ccf99e497b6c82c1ef8d9201ba (patch) | |
tree | 0ce8237ff67cff3ef0871472677f3f3ff88c7633 /sphinx/config.py | |
parent | d68a60584728f81beffc95debdfe54b37c03be05 (diff) | |
parent | e49c27d634c942f36bcbc72e659bbb5bcd39066f (diff) | |
download | sphinx-0ce3e1b81e8105ccf99e497b6c82c1ef8d9201ba.tar.gz |
merge with stable
Diffstat (limited to 'sphinx/config.py')
-rw-r--r-- | sphinx/config.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/config.py b/sphinx/config.py index 9ea2226e..df74e914 100644 --- a/sphinx/config.py +++ b/sphinx/config.py @@ -72,7 +72,7 @@ class Config(object): primary_domain = ('py', 'env'), needs_sphinx = (None, None), nitpicky = (False, 'env'), - nitpick_ignore = ([], 'env'), + nitpick_ignore = ([], 'html'), # HTML options html_theme = ('default', 'html'), |