如何从 .texi 获取 .tex 文件?
需要接收源tex文件MPFR 文档,由mpfr.texi使用特克斯福.理想情况下获取tex文件: 没有像 Texinfo 这样的依赖项, 没有 Texinfo 宏,在源texi文件中未使用, 它可以被任何编辑器识别,并能创建 LaTeX 文件。 发现,pdfTeX从 MiKTeX 包直接生成pdf文件texi。这意味着它应该预处理texi文件,将texinfo.tex宏放入其中,然后pdf从编译结果。 那结果预计是所需tex文件。 不幸的是,pdfTeX -output-format=FORMAT选项仅支持...