fix #440 #1008 : coarse timestamp resolution in some filesystem generate wrong outdated file-list

shimizukawa · shimizukawa · commit 718993afc8e0 · 2012-10-29T21:00:34.000+09:00
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
