diff options
Diffstat (limited to 'sphinx/application.py')
| -rw-r--r-- | sphinx/application.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sphinx/application.py b/sphinx/application.py index db4122b16..30b2505fd 100644 --- a/sphinx/application.py +++ b/sphinx/application.py @@ -305,6 +305,9 @@ class Sphinx(object): logger.info(bold(__('loading pickled environment... ')), nonl=True) filename = path.join(self.doctreedir, ENV_PICKLE_FILENAME) self.env = BuildEnvironment.frompickle(filename, self) + needed, reason = self.env.need_refresh(self) + if needed: + raise IOError(reason) self.env.domains = {} for domain in self.registry.create_domains(self.env): # this can raise if the data version doesn't fit |