manpagez: man pages & more
info info-stnd
Home | html | info | man
[ << ] [ < ] [ 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.

© manpagez.com 2000-2024
Individual documents may contain additional copyright information.