diff options
Diffstat (limited to 'sphinx/builder.py')
| -rw-r--r-- | sphinx/builder.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sphinx/builder.py b/sphinx/builder.py index 8ec87f84..d4f6b278 100644 --- a/sphinx/builder.py +++ b/sphinx/builder.py @@ -485,7 +485,9 @@ class StandaloneHTMLBuilder(Builder): filename[:-4] + '.html')) except: targetmtime = 0 - if path.getmtime(path.join(self.srcdir, filename)) > targetmtime: + if filename not in self.env.all_files: + yield filename + elif path.getmtime(path.join(self.srcdir, filename)) > targetmtime: yield filename |