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

store actual file modification time instead of now()

Browse Source
This commit is contained in:
anatoly techtonik 2010-02-23 19:10:43 +02:00
parent 24a5097717
commit ef8ae809e6
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 time of reading, used to find outdated files
self.all_docs[docname] = time.time()
# store file modification time, for outdated files detection
self.all_docs[docname] = path.getmtime(src_path)
if app:
app.emit('doctree-read', doctree)