1. 程式人生 > >GNU.texi檔案轉換成.HTML檔案

GNU.texi檔案轉換成.HTML檔案

在看GNU 的 gmp 庫文件是,其副檔名是.texi,這中檔案型別是 GNU Texinfo 文件格式。如果我們直接用文字文件編輯器開啟這種檔案,會發現有跟多“識別符號號”,對於我們理解文件內容造成影響。不過,在linux系統中有一個texi2html工具,可以把 .texi 檔案轉換陳 .html 檔案,然後通過瀏覽器閱讀即可。

安裝 texi2html 工具命令:sudo apt-get install texi2html

轉換 .texi 為 .html 檔案命令:texi2html gmp.texi

轉換前文件內容如下(文字編輯器開啟):

轉換後效果如下(瀏覽器開啟):