Next: infokey source format, Up: Custom Key Bindings
infokey compiles a source file ($HOME/.infokey1 by default) containing Info customizations into a binary format ($HOME/.info by default). GNU Info reads the binary file at startup to override the default key bindings and variable definitions. Synopsis:
infokey [option...] [input-file]
Besides the standard --help and --version, the only option is --output file. This tells infokey to write the binary data to file instead of $HOME/.info.
[1] This file is named _infokey in the MS-DOS version, and is looked for in the current directory if HOME is undefined.