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

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

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

答案1

makeinfotexinfo包中

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

    需要 LaTeX。

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

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

在 Ubuntu 20.04 上测试。

Binutils 文档

下面展示了如何将 Binutils 文档(例如 GDB 和 GAS,它们都是 texinfo 格式)构建为单个 HTML 页面:https://unix.stackexchange.com/questions/477303/how-to-build-the-gdb-documentation-from-source/477309#477309

答案2

安装 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.

[...]

答案3

您可以使用texiinfo

Texinfo 使用单个源文件生成多种格式的输出,包括在线格式和打印格式(dvi、html、info、pdf、xml 等)。这意味着您无需为在线信息编写不同的文档,也无需为打印手册编写另一个文档,您只需编写一个文档即可。而且,当作品需要修改时,您只需要修改该文档即可。Texinfo 系统与 GNU Emacs 集成良好。

你可以从这里,例如:

cd
wget http://ftp.gnu.org/gnu/texinfo/texinfo-6.0.tar.xz
tar xf texinfo-6.0.tar.xz

编译并安装:

cd texiinfo-6.0
./configure
make
sudo make install

安装后使用man texiinfo并了解如何转换它。

更多信息这里

相关内容