查看GNU的gmp库文档时，文件扩展名为. texi，其中的文件类型为GNUTexinfo文档格式。 直接在文本文档编辑器中打开此类文件会产生许多“标识符号”，从而影响对文档内容的理解。 但是，linux系统提供了texi2html工具，可以将. texi文件转换为陈. html文件，供浏览器阅读。
安装texi2html工具命令： sudo apt-get install texi2html
用于将. texi转换为. html文件的命令： texi2html gmp.texi
预转换文档的内容如下(将打开文本编辑器) :
转换后的效果如下(浏览器打开)。