在texinfo中，如何指定bash单引号？

Question

我正在使用GNU build system编写一个包。因此，文档采用texinfo格式。因此，执行make会将texinfo文件转换为信息格式，执行make pdf会自动生成pdf文件。

在texinfo文件中，我有类似这样的内容：

@verbatim
awk '{...}' data.txt
@end verbatim

然而，在pdf中，上面awk命令中的“基本”单引号（U+0027）被转换为“曲线”单引号（U+2019），这样，如果有人复制-paste命令从pdf进入终端，bash抱怨（“语法错误”）。这会强制用户编辑他刚刚复制粘贴的命令。如果我将@verbatim替换为@example，则会出现同样的问题。我搜索了texinfo manual但找不到指定撇号的方法。我使用的是texinfo 5.2版。

Answer 1

Karl Berry（通过bug-texinfo mailing list）告诉我在我的texi文件中添加2行（more info）：

@codequoteundirected on
@codequotebacktick on

以及将最新版本的texinfo.tex添加到我的软件包中。