diff options
| author | Georg Brandl <georg@python.org> | 2010-02-28 09:49:23 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2010-02-28 09:49:23 +0100 |
| commit | ab61a3847381d3d1e40ffabc98b9e49940a4fa29 (patch) | |
| tree | 4cb13164c2075623097356ead90741c966399ef4 | |
| parent | ac7c418cd6b72ecd6236d42d2dd7d778a04b23a8 (diff) | |
| download | sphinx-ab61a3847381d3d1e40ffabc98b9e49940a4fa29.tar.gz | |
Revert revision 0530a8aaaa9a; it does not work if dependent files are involved.
| -rw-r--r-- | sphinx/environment.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/environment.py b/sphinx/environment.py index d74b323d..88e9f99d 100644 --- a/sphinx/environment.py +++ b/sphinx/environment.py @@ -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) |