diff --git a/sphinx/builders/__init__.py b/sphinx/builders/__init__.py index 7cfacbd3c95..e446ca94a9b 100644 --- a/sphinx/builders/__init__.py +++ b/sphinx/builders/__init__.py @@ -372,14 +372,14 @@ def build(self, docnames, summary=None, method='update'): else: logger.info(__('none found')) - if updated_docnames: - # save the environment - from sphinx.application import ENV_PICKLE_FILENAME - logger.info(bold(__('pickling environment... ')), nonl=True) - with open(path.join(self.doctreedir, ENV_PICKLE_FILENAME), 'wb') as f: - pickle.dump(self.env, f, pickle.HIGHEST_PROTOCOL) - logger.info(__('done')) + # save the environment + from sphinx.application import ENV_PICKLE_FILENAME + logger.info(bold(__('pickling environment... ')), nonl=True) + with open(path.join(self.doctreedir, ENV_PICKLE_FILENAME), 'wb') as f: + pickle.dump(self.env, f, pickle.HIGHEST_PROTOCOL) + logger.info(__('done')) + if updated_docnames: # global actions self.app.phase = BuildPhase.CONSISTENCY_CHECK logger.info(bold(__('checking consistency... ')), nonl=True)