查看texi文件的简单方法是什么？

Question

我正在阅读一些我计划使用的库的文件，这些文件的扩展名为“.texi”，虽然我可以在 gedit 中打开这些文件，但所有的语法和标记都很难阅读。此外，我无法使用文档中的嵌入链接。是否有读取 .texi 文件的首选程序？顺便说一句，我正在使用 Ubuntu 13.10。谢谢！

Answer 1

安装 texi2html 将 Texinfo 文件转换为 HTML：

sudo apt-get install texi2html

texi2html 的手册页：

概要

   texi2html [options] file

描述

   Texi2html  converts  the  given Texinfo file to a set of HTML files. It
   tries to handle most of the  Texinfo  commands.  It  creates  hypertext
   links for cross-references, footnotes...

   Texi2html  may furthermore use latex2html to generate HTML (code and/or
   images) for @math and @iftex tags (see the --l2h option).

   Texi2html creates several files depending on the contents of  the  Tex?
   info file and on the chosen options (see FILES).

   The  HTML  files created by texi2html are in general closer to TeX than
   to Info. Using init files (see the --init-file option), other styles or
   output formats may be selected.

[...]

Answer 2

makeinfo从texinfo包

sudo apt install texinfo
makeinfo --html --no-split -o a.html a.texi
firefox a.html

如果您愿意，您还可以转换为许多其他格式：

• makeinfo a.texi.

  生成一个a.info可以使用以下命令打开的文件：

  info -f a.info
  

  这是最“原生”的本地 GNU 文档格式。

• makeinfo --pdf a.info

  需要乳胶。

texi2html似乎在 2011 年已被弃用：http : //www.nongnu.org/texi2html/

Texi2HTML 和基于 Texi2HTML 的 makeinfo 实现的开发于 2011 年停止。

在 Ubuntu 20.04 上测试。

Binutils 文档

以下是如何将 Binutils 文档（如 texinfo 格式的 GDB 和 GAS）构建到单个 HTML 页面的必杀技：https : //unix.stackexchange.com/questions/477303/how-to-build-the-gdb -documentation-from-source/477309#477309