diff options
| author | Jon Waltman <jonathan.waltman@gmail.com> | 2010-11-07 00:26:40 -0500 |
|---|---|---|
| committer | Jon Waltman <jonathan.waltman@gmail.com> | 2010-11-07 00:26:40 -0500 |
| commit | e3bc26285f079c17fb80eb3fd0dbbf69e78cb8e4 (patch) | |
| tree | 5a1347d69c7be1436197be5035ea9eacb63e5986 /sphinx | |
| parent | a76e9b07fc07cdb59133f138ac3332e26c3d0bf8 (diff) | |
| download | sphinx-e3bc26285f079c17fb80eb3fd0dbbf69e78cb8e4.tar.gz | |
Improve Texinfo xref appearance in non Info output
Diffstat (limited to 'sphinx')
| -rw-r--r-- | sphinx/writers/texinfo.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/writers/texinfo.py b/sphinx/writers/texinfo.py index f7b3a9bb..83dbe724 100644 --- a/sphinx/writers/texinfo.py +++ b/sphinx/writers/texinfo.py @@ -388,7 +388,7 @@ class TexinfoTranslator(nodes.NodeVisitor): if not name or ref == name: self.add_text('@pxref{%s}' % ref) else: - self.add_text('@pxref{%s,%s}' % (ref, name)) + self.add_text('@pxref{%s,,%s}' % (ref, name)) self.referenced_ids.add(ref) ## Visiting |