GNU.texi文件轉換成.HTML文件

在看GNU 的 gmp 庫文檔是，其文件擴展名是.texi，這中文件類型是 GNU Texinfo 文檔格式。如果我們直接用文本文檔編輯器打開這種文件，會發現有跟多「標識符號」，對於我們理解文檔內容造成影響。不過，在linux系統中有一個texi2html工具，可以把 .texi 文件轉換陳 .html 文件，然後通過瀏覽器閱讀即可。 安裝 texi2html 工具命令：sudo apt-get

>>阅读原文<<