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

[texinfo] Use @ref instead of @pxref for better display of links in non-Info output.

Browse Source
This commit is contained in:
Jonathan Waltman 2013-02-19 04:06:08 -06:00
parent c8d8f69b96
commit d5b82a235b
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
sphinx/writers/texinfo.py
View File

@ -505,7 +505,7 @@ class TexinfoTranslator(nodes.NodeVisitor):
def add_xref(self, id, name, node):
name = self.escape_menu(name)
sid = self.get_short_id(id)
self.body.append('@pxref{%s,,%s}' % (sid, name))
self.body.append('@ref{%s,,%s}' % (sid, name))
self.referenced_ids.add(sid)
self.referenced_ids.add(self.escape_id(id))
@ -677,9 +677,9 @@ class TexinfoTranslator(nodes.NodeVisitor):
id = self.escape_id(id)
name = self.escape_menu(name)
if name == id:
self.body.append('@pxref{%s,,,%s}' % (id, uri))
self.body.append('@ref{%s,,,%s}' % (id, uri))
else:
self.body.append('@pxref{%s,,%s,%s}' % (id, name, uri))
self.body.append('@ref{%s,,%s,%s}' % (id, name, uri))
else:
uri = self.escape_arg(uri)
name = self.escape_arg(name)