mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
Two fixes.
This commit is contained in:
parent
12cfdea91f
commit
ac90866723
@ -485,7 +485,9 @@ class StandaloneHTMLBuilder(Builder):
|
|||||||
filename[:-4] + '.html'))
|
filename[:-4] + '.html'))
|
||||||
except:
|
except:
|
||||||
targetmtime = 0
|
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
|
yield filename
|
||||||
|
|
||||||
|
|
||||||
|
@ -20,7 +20,7 @@ ws_re = re.compile(r'\s+')
|
|||||||
|
|
||||||
generic_docroles = {
|
generic_docroles = {
|
||||||
'command' : nodes.strong,
|
'command' : nodes.strong,
|
||||||
'dfn' : addnodes.emphasis,
|
'dfn' : nodes.emphasis,
|
||||||
'guilabel' : nodes.strong,
|
'guilabel' : nodes.strong,
|
||||||
'kbd' : nodes.literal,
|
'kbd' : nodes.literal,
|
||||||
'keyword' : nodes.literal,
|
'keyword' : nodes.literal,
|
||||||
|
Loading…
Reference in New Issue
Block a user