我正在使用GNU 构建系统编写一个包。因此,文档采用texinfo格式。结果,执行make
将texinfo文件转换为info格式,执行make pdf
自动生成pdf文件。
在 texinfo 文件中,我有这样的内容:
@verbatim
awk '{...}' data.txt
@end verbatim
但是,在 pdf 中,上述 awk 命令中的“基本”单引号 ( U+0027 ) 被转换为“弯曲”单引号 ( U+2019 ),因此,如果从pdf 到终端,bash 抱怨(“语法错误”)。这迫使用户编辑他刚刚复制粘贴的命令。如果我将@verbatim替换为 @example ,也会出现同样的问题。我搜索了texinfo 手册,但找不到指定撇号的方法。我正在使用 texinfo 5.2 版。