summaryrefslogtreecommitdiff
path: root/Master/texmf/doc/man/man1/infokey.1
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf/doc/man/man1/infokey.1')
-rw-r--r--Master/texmf/doc/man/man1/infokey.142
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.