Next: , Previous: Directory File, Up: Installing an Info File


20.2.2 新しいInfoファイルをリストアップする

新しいInfoファイルをシステムに加えるため,infoディレクトリの dirファイルのメニューを加える,メニュー項目を書く必要があります. 例えばGDBのドキュメントを加える場合,以下の新しい項目を書きます.

     * GDB: (gdb).           The source-level C debugger.

メニュー項目の最初の部分はメニュー項目名でコロンが続きます.二番目の部分 はInfoファイル名で,丸カッコの中にあり,ピリオドが続きます.三番目の部分 は記述です.

Infoファイルの名前には,.info拡張子があることが多いです.そのため, GDBのInfoファイルはgdbまたはgdb.infoと呼んでもかまわないで しょう.Infoリーダープログラムは,自動的に.infoの有無の両方を試し ます.1バラバラになるのを避けるために,メニュー項目に明示的 に‘.info’を書かない方が良いでしょう.例えばGDBメニュー項目は,ファ イル名に‘gdb.info’ではなく‘gdb’だけを使用すべきです.


Footnotes

[1] MS-DOS/MS-Windowsシステムでは,Infoは同様に,.inf 拡張子も試します.