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

Revert revision 0530a8aaaa9a; it does not work if dependent files are involved.

Browse Source
This commit is contained in:
Georg Brandl 2010-02-28 09:49:23 +01:00
parent fbc2c113ee
commit 523b16f005
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
sphinx/environment.py
View File

@ -616,8 +616,8 @@ class BuildEnvironment:
self.note_citations_from(docname, doctree)
self.build_toc_from(docname, doctree)
# store file modification time, for outdated files detection
self.all_docs[docname] = path.getmtime(src_path)
# store time of build, for outdated files detection
self.all_docs[docname] = time.time()
if app:
app.emit('doctree-read', doctree)