我正在读取一些我计划使用的库的文件,这些文件的扩展名为“.texi”,虽然我可以在 gedit 中打开这些文件,但所有的语法和标记都很难阅读。另外,我无法使用文档中的嵌入链接。有没有可以读取 .texi 文件的程序?顺便说一下,我正在使用 Ubuntu 13.10。谢谢!
答案1
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
需要 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
并了解如何转换它。
更多信息这里