diff options
| author | Georg Brandl <georg@python.org> | 2008-06-04 20:25:27 +0000 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2008-06-04 20:25:27 +0000 |
| commit | 7e80f604120d51cf29c84f3485db1c1e2d5860e5 (patch) | |
| tree | 823e8b44c9f7fec581228f5a9ce8c07cd10dec28 /sphinx/environment.py | |
| parent | 5cb01d68dc1df8ea3e89c45b2b2a40c20dda812b (diff) | |
| download | sphinx-git-7e80f604120d51cf29c84f3485db1c1e2d5860e5.tar.gz | |
Fix the handling of extensions' config values.
Diffstat (limited to 'sphinx/environment.py')
| -rw-r--r-- | sphinx/environment.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/sphinx/environment.py b/sphinx/environment.py index 8b3bca4a8..f1adf6ea6 100644 --- a/sphinx/environment.py +++ b/sphinx/environment.py @@ -397,9 +397,7 @@ class BuildEnvironment: for key, descr in config.config_values.iteritems(): if not descr[1]: continue - if not hasattr(self.config, key) or \ - self.config[key] != config[key]: - + if self.config[key] != config[key]: msg = '[config changed] ' config_changed = True break |