diff options
author | Karl Berry <karl@freefriends.org> | 2008-05-12 00:09:53 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-05-12 00:09:53 +0000 |
commit | d006156ee1f52141dd5a2a0ad409f81736027d1a (patch) | |
tree | 645a50d28fc4869fbd91b8a7578ab345abf22e0f /Build | |
parent | 723a46b67fc724d468f423a9a1a1d54132fc54da (diff) |
trivial change to stop help2man from being run?
git-svn-id: svn://tug.org/texlive/trunk@8069 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rw-r--r-- | Build/source/utils/texinfo/doc/texindex.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/utils/texinfo/doc/texindex.1 b/Build/source/utils/texinfo/doc/texindex.1 index bb65fcfe170..12dfbe33dae 100644 --- a/Build/source/utils/texinfo/doc/texindex.1 +++ b/Build/source/utils/texinfo/doc/texindex.1 @@ -39,4 +39,4 @@ programs are properly installed at your site, the command .IP .B info texindex .PP -should give you access to the complete manual. +will give you access to the complete manual. |