changeset 44877:6291099daba6

Fix a few blunders.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 26 Apr 2002 11:56:35 +0000
parents 29664616fca1
children c62f10c00a76
files man/info.texi
diffstat 1 files changed, 5 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/man/info.texi	Fri Apr 26 11:48:11 2002 +0000
+++ b/man/info.texi	Fri Apr 26 11:56:35 2002 +0000
@@ -6,7 +6,7 @@
 @syncodeindex vr cp
 @syncodeindex ky cp
 @comment %**end of header
-@comment $Id: info.texi,v 1.21 2002/04/23 18:36:05 rms Exp $
+@comment $Id: info.texi,v 1.22 2002/04/24 00:58:45 miles Exp $
 
 @dircategory Texinfo documentation system
 @direntry
@@ -807,9 +807,10 @@
 
   This chapter also explains how to write an Info as distinct from a
 Texinfo file.  (However, in most cases, writing a Texinfo file is
-better, since you can use it to make a printed manual or an HTML file
-as well as for generating Info files.)  @xref{Top,, Overview of
-Texinfo, texinfo, Texinfo: The GNU Documentation Format}.)
+better, since you can use it to make a printed manual or produce other
+formats, such as HTML and DocBook, as well as for generating Info
+files.)  @xref{Top,, Overview of Texinfo, texinfo, Texinfo: The GNU
+Documentation Format}.)
 
 @menu
 * Advanced::             Advanced Info commands: g, s, e, and 1 - 5.