Properly escape ``quote'' characters in Texinfo.

This commit is contained in:
Jonathan Waltman 2011-06-27 19:28:47 -05:00
parent 7147131145
commit 10e0fb8ad9

View File

@ -319,6 +319,9 @@ class TexinfoTranslator(nodes.NodeVisitor):
s = s.replace('@', '@@')
s = s.replace('{', '@{')
s = s.replace('}', '@}')
# prevent `` and '' quote conversion
s = s.replace('``', "`@w{`}")
s = s.replace("''", "'@w{'}")
# prevent "--" from being converted to an "em dash"
# s = s.replace('-', '@w{-}')
return s