Next: 1-3-4, Previous: 1-3-2, Up: 1-3
以下のコマンドで HTML ファイルを生成します。
makeinfo --html texinfo-file
HTML はデフォルトで 1 ノード 1 ファイルとなります。 texinfo-file に指定した Texinfo ファイルと同じディレクトリ内の、@setfilename コマンド1 で指定した名前のディレクトリに各 HTML ファイルが生成されます。分割せずに HTML ファイルを生成したいときは --no-split オプション2 を付けます。
@setfilename
[1] See Texinfo ファイルの始めと終わり.
[2] See ファイルの分割.