IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #5525 from eqvinox/revert-pickle-write-1.8

Browse Source 
[1.8] Revert "Builder.build: save env also with only new documents"
This commit is contained in:
Takeshi KOMIYA
2018-11-07 00:16:58 +09:00
committed by GitHub
parent 66867111c8 d15d11df70
commit 63daf8c6e6
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sphinx/builders/__init__.py
View File

@@ -369,6 +369,7 @@ class Builder(object):
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)
@@ -376,7 +377,6 @@ class Builder(object):
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)