GNU.texi文件转换成.HTML文件

在看GNU 的 gmp 库文档是，其文件扩展名是.texi，这中文件类型是 GNU Texinfo 文档格式。如果我们直接用文本文档编辑器打开这种文件，会发现有跟多“标识符号”，对于我们理解文档内容造成影响。不过，在linux系统中有一个texi2html工具，可以把 .texi 文件转换陈 .html 文件，然后通过浏览器阅读即可。 安装 texi2html 工具命令：sudo apt-get

>>阅读原文<<