[ << ] | [ < ] | [ Up ] | [ > ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
12.1 Invoking infokey
By default, infokey
reads a source file
(‘$HOME/.infokey’ containing Info customizations. (This file is
named ‘_infokey’ in the MS-DOS version, and is looked for in the
current directory if HOME
is undefined.) It compiles this 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’.
This document was generated on October 2, 2013 using texi2html 5.0.