mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
merge with stable
This commit is contained in:
@@ -11,6 +11,7 @@
|
|||||||
^Sphinx.egg-info/
|
^Sphinx.egg-info/
|
||||||
^doc/_build/
|
^doc/_build/
|
||||||
^TAGS
|
^TAGS
|
||||||
|
^\.tags
|
||||||
^\.ropeproject/
|
^\.ropeproject/
|
||||||
^env/
|
^env/
|
||||||
\.DS_Store$
|
\.DS_Store$
|
||||||
|
@@ -608,7 +608,7 @@ class StandardDomain(Domain):
|
|||||||
return make_refnode(builder, fromdocname, docname,
|
return make_refnode(builder, fromdocname, docname,
|
||||||
labelid, contnode)
|
labelid, contnode)
|
||||||
elif typ == 'option':
|
elif typ == 'option':
|
||||||
progname = node['refprogram']
|
progname = node.get('refprogram', '')
|
||||||
docname, labelid = self.data['progoptions'].get((progname, target),
|
docname, labelid = self.data['progoptions'].get((progname, target),
|
||||||
('', ''))
|
('', ''))
|
||||||
if not docname:
|
if not docname:
|
||||||
|
Reference in New Issue
Block a user