本文介绍如何将GNU Texinfo格式的.gmp库文档(.texi)转换为.html格式以便于阅读。通过使用texi2html工具，可以轻松实现文件格式的转换。
在看GNU 的 gmp 库文档是，其文件扩展名是.texi，这中文件类型是 GNU Texinfo 文档格式。如果我们直接用文本文档编辑器打开这种文件，会发现有跟多“标识符号”，对于我们理解文档内容造成影响。不过，在linux系统中有一个texi2html工具，可以把 .texi 文件转换陈 .html 文件，然后通过浏览器阅读即可。
安装 texi2html 工具命令：sudo apt-get install texi2html
转换 .texi 为 .html 文件命令：texi2html gmp.texi
转换前文档内容如下（文本编辑器打开）：
转换后效果如下（浏览器打开）：
扫一扫
1163
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
