fix sphinx-doc#440 sphinx-doc#1008 : coarse timestamp resolution in s…

…ome filesystem generate wrong outdated file-list
jayaddison · Oct 29, 2012 · 718993a · 718993a
1 parent bee7f8b
commit 718993a
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/sphinx/environment.py b/sphinx/environment.py
@@ -787,7 +787,12 @@ def read(self_):
             app.emit('doctree-read', doctree)
 
         # store time of build, for outdated files detection
-        self.all_docs[docname] = time.time()
+        # note::
+        #  Some filesystem's have coarse timestamp resolution.
+        #  Therefore time.time() is older than filesystem's timestamp.
+        #  ex. FAT32 have 2sec resolution.
+        self.all_docs[docname] = max(
+                time.time(), path.getmtime(self.doc2path(docname)))
 
         if self.versioning_condition:
             # get old doctree