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

adjust code-comment to suitable reST format

Browse Source
This commit is contained in:
Takayuki Shimizukawa
2012-10-31 10:21:16 +09:00
parent 88e1bbe307
commit ee0d0ed1fd
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
sphinx/environment.py
View File

@@ -787,10 +787,12 @@ class BuildEnvironment:
app.emit('doctree-read', doctree) app.emit('doctree-read', doctree)
# store time of build, for outdated files detection # store time of build, for outdated files detection
# note:: #
# Some filesystem's have coarse timestamp resolution. # .. note::
# Therefore time.time() is older than filesystem's timestamp. #
# ex. FAT32 have 2sec resolution. # 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( self.all_docs[docname] = max(
time.time(), path.getmtime(self.doc2path(docname))) time.time(), path.getmtime(self.doc2path(docname)))