diff options
Diffstat (limited to 'Master/texmf/doc/man/man1/infokey.1')
-rw-r--r-- | Master/texmf/doc/man/man1/infokey.1 | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/Master/texmf/doc/man/man1/infokey.1 b/Master/texmf/doc/man/man1/infokey.1 deleted file mode 100644 index f18df20d548..00000000000 --- a/Master/texmf/doc/man/man1/infokey.1 +++ /dev/null @@ -1,42 +0,0 @@ -.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.35. -.TH INFOKEY "1" "April 2008" "infokey 4.12" "User Commands" -.SH NAME -infokey \- compile customizations for Info -.SH SYNOPSIS -.B infokey -[\fIOPTION\fR]... [\fIINPUT-FILE\fR] -.SH DESCRIPTION -Compile infokey source file to infokey file. Reads INPUT\-FILE (default -$HOME/.infokey) and writes compiled key file to (by default) $HOME/.info. -.SH OPTIONS -.TP -\fB\-\-output\fR FILE -output to FILE instead of $HOME/.info -.TP -\fB\-\-help\fR -display this help and exit. -.TP -\fB\-\-version\fR -display version information and exit. -.SH "REPORTING BUGS" -Email bug reports to bug\-texinfo@gnu.org, -general questions and discussion to help\-texinfo@gnu.org. -Texinfo home page: http://www.gnu.org/software/texinfo/ -.SH COPYRIGHT -Copyright \(co 2008 Free Software Foundation, Inc. -License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> -.br -This is free software: you are free to change and redistribute it. -There is NO WARRANTY, to the extent permitted by law. -.SH "SEE ALSO" -The full documentation for -.B infokey -is maintained as a Texinfo manual. If the -.B info -and -.B infokey -programs are properly installed at your site, the command -.IP -.B info infokey -.PP -should give you access to the complete manual. |