diff options
Diffstat (limited to 'doc/misc/info.texi')
| -rw-r--r-- | doc/misc/info.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/info.texi b/doc/misc/info.texi index b1157c0c4eb..97cc17812e4 100644 --- a/doc/misc/info.texi +++ b/doc/misc/info.texi @@ -40,7 +40,7 @@ license to the document, as described in section 6 of the license. @dircategory Texinfo documentation system @direntry -* Info: (info). How to use the documentation browsing system. +* Info: (info). How to use the documentation browsing system. @end direntry @titlepage |