Next: infokey source format, Up: Custom Key Bindings
infokeyは,Infoのカスタマイズ方法を含んでいるソースファイル(デ フォルトは$HOME/.infokey1)を,バイナリフォーマット(デフォルトは $HOME/.info)にコンパイルします.デフォルトのキーバインドと変数定 義に優先させるため,GNU Infoは開始時にバイナリファイルを読み込みます.構 文は以下のとおりです.
infokey [option...] [input-file]
標準的な--helpと--version以外では,唯一のオプションと して--output fileがあります.これでinfokeyにバ イナリデータを書き込む$HOME/.infoの代わりのfileを伝えます.