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

安装 texi2html 工具命令：sudo apt-get install texi2html

转换 .texi 为 .html 文件命令：texi2html gmp.texi

转换前文档内容如下（文本编辑器打开）：

转换后效果如下（浏览器打开）：

 

 

 

# html # gnu
Logo
Linux

更多推荐

Linux虚拟文件系统之文件系统卸载（sys_umount())

Linux中卸载文件系统由umount系统调用实现，入口函数为sys_umount()。较于文件系统的安装较为简单，下面是具体的实现。1. /*sys_umont系统调用*/2. SYSCALL_DEFINE2(umount, char __user *, name, int, flags)3. {4.struct path path;

avatar Linux

网卡速率和双工模式的配置

http://linux.chinaitlab.com/system/792187.html1、mii-tool 配置网络设备协商方式的工具；    1.1 mii-tool 介绍；    mii-tool - view, manipulate media-independent interface status （mii-tool 是查看，管理介质的网络接口的状态）

avatar Linux

Linux系统下超级终端Minicom的使用方法（例如：连接交换机，路由器等）转http://baike.baidu.com/view/2911642.htm?fr=ala0_1

<br />　　Linux系统下超级终端Minicom的使用方法 <br />　　Linux下的Minicom的功能与下的超级终端功能相似，适于在通过超级终端对设备的管理以及对嵌入操作系统的升级，现写出Minicom的使用手册： <br />　　1． 启动minicom <br />　　以root权限登录系统 <br />　　使用命令 <br />　　minicom –s 则minicom启动，屏

avatar Linux