私は使用する予定のライブラリのファイルをいくつか読んでおり、ファイルの拡張子は「.texi」であり、geditでファイルを開くことはできますが、すべての構文とマークアップにより読みにくくなります。また、ドキュメント内の埋め込みリンクは使用できません。 .texiファイルを読み込むためのプログラムはありますか? Ubuntu 13.10 btwを使用しています。どうも!
Texi2htmlをインストールして、TexinfoファイルをHTMLに変換します。
Sudo apt-get install texi2html
Texi2htmlのマニュアルページ:
概要
texi2html [options] file
説明
Texi2html converts the given Texinfo file to a set of HTML files. It tries to handle most of the Texinfo commands. It creates hypertext links for cross-references, footnotes... Texi2html may furthermore use latex2html to generate HTML (code and/or images) for @math and @iftex tags (see the --l2h option). Texi2html creates several files depending on the contents of the Tex‐ info file and on the chosen options (see FILES). The HTML files created by texi2html are in general closer to TeX than to Info. Using init files (see the --init-file option), other styles or output formats may be selected.
[...]
makeinfo
from texinfo
パッケージから
Sudo apt-get install texinfo
makeinfo --html --no-split -o a.html a.texi
firefox a.html
必要に応じて、他の多くの形式に変換することもできます。
makeinfo a.texi
。
以下で開くことができるa.info
ファイルを生成します:
info -f a.info
これは、最も「ネイティブ」なローカルGNUドキュメント形式です。
makeinfo --pdf a.info
LaTeXが必要です。
texi2html
は2011年に廃止されたようです: http://www.nongnu.org/texi2html/
texi2HTMLおよびTexi2HTMLベースのmakeinfo実装の開発は2011年に停止しました。
Binutils docs
Texinfo形式のGDBやGASなどのBinutilsドキュメントを1つのHTMLページnirvanaにビルドする方法は次のとおりです。 https://unix.stackexchange.com/questions/477303/how-to-build -the-gdb-documentation-from-source/477309#477309
texiinfo
を使用できます:
Texinfoは、単一のソースファイルを使用して、オンラインと印刷(dvi、html、info、pdf、xmlなど)の両方の形式で出力を生成します。つまり、オンライン情報用に別のドキュメントを作成し、印刷マニュアル用に別のドキュメントを作成する代わりに、1つのドキュメントを作成するだけで済みます。そして、作業が改訂されると、その1つの文書のみを改訂する必要があります。 Texinfoシステムは、GNU Emacsとうまく統合されています。
here からダウンロードできます。例:
cd
wget http://ftp.gnu.org/gnu/texinfo/texinfo-6.0.tar.xz
tar xf texinfo-6.0.tar.xz
コンパイルしてインストールします。
cd texiinfo-6.0
./configure
make
Sudo make install
インストール後、man texiinfo
を使用して、変換方法を学習します。
詳細 ここ