diff options
author | Karl Berry <karl@freefriends.org> | 2009-01-25 01:57:18 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-01-25 01:57:18 +0000 |
commit | af944c3e4ba74f59f21178c8477fdea4b682ef2b (patch) | |
tree | afa6af46a5179bdbd38a05fa7d63b2ff8ae32516 /Build/source/utils/texinfo/doc/infokey.1 | |
parent | 0cea5be7570fb0ddc3d28e6bb8371809e04ca2ae (diff) |
remove texinfo
git-svn-id: svn://tug.org/texlive/trunk@11963 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/texinfo/doc/infokey.1')
-rw-r--r-- | Build/source/utils/texinfo/doc/infokey.1 | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/Build/source/utils/texinfo/doc/infokey.1 b/Build/source/utils/texinfo/doc/infokey.1 deleted file mode 100644 index f18df20d548..00000000000 --- a/Build/source/utils/texinfo/doc/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. |