From d5b82a235b7a8f8c1d160660d03b4111ba000f2a Mon Sep 17 00:00:00 2001 From: Jonathan Waltman Date: Tue, 19 Feb 2013 04:06:08 -0600 Subject: [PATCH] [texinfo] Use `@ref` instead of `@pxref` for better display of links in non-Info output. --- sphinx/writers/texinfo.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/sphinx/writers/texinfo.py b/sphinx/writers/texinfo.py index c958f2d44..ae1903263 100644 --- a/sphinx/writers/texinfo.py +++ b/sphinx/writers/texinfo.py @@ -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)