[Python-checkins] r65567 - in doctools/branches/0.4.x: CHANGES sphinx/environment.py

[georg.brandl]

Author: georg.brandl
Date: Thu Aug  7 11:11:25 2008
New Revision: 65567

Log:
Rebuild everything if extensions change.


Modified:
   doctools/branches/0.4.x/CHANGES
   doctools/branches/0.4.x/sphinx/environment.py

Modified: doctools/branches/0.4.x/CHANGES
==============================================================================
--- doctools/branches/0.4.x/CHANGES	(original)
+++ doctools/branches/0.4.x/CHANGES	Thu Aug  7 11:11:25 2008
@@ -1,6 +1,8 @@
 Release 0.4.3 (in development)
 ==============================
 
+* Rebuild everything when the ``extensions`` config value changes.
+
 * Don't try to remove a nonexisting static directory.
 
 * Fix an indentation problem in production lists.

Modified: doctools/branches/0.4.x/sphinx/environment.py
==============================================================================
--- doctools/branches/0.4.x/sphinx/environment.py	(original)
+++ doctools/branches/0.4.x/sphinx/environment.py	Thu Aug  7 11:11:25 2008
@@ -418,6 +418,11 @@
                     break
             else:
                 msg = ''
+            # this value is not covered by the above loop because it is handled
+            # specially by the config class
+            if self.config.extensions != config.extensions:
+                msg = '[extensions changed] '
+                config_changed = True
         # the source and doctree directories may have been relocated
         self.srcdir = srcdir
         self.doctreedir = doctreedir