diff options
-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. |