Commits

anatoly techtonik committed 0530a8a

store actual file modification time instead of now()

Comments (0)

Files changed (1)

sphinx/environment.py

         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)