infokey1
Compile customizations for info
Usage
infokey [OPTION] ...
[INPUT-FILE]
Overview
Compile infokey source file to infokey file. Reads INPUT-FILE (default $HOME/.infokey) and writes compiled key file to (by default) $HOME/.info.
Options
-
--output FILE -
output to FILE instead of $HOME/.info
-
--help -
display this help and exit.
-
--version -
display version information and exit.
Releases
7 releases since Debian 3.0 (Woody); the text changed 5 times.
--help since Debian 3.1 (Sarge);
--output since Debian 3.1 (Sarge);
--version since Debian 3.1 (Sarge).