# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1019822195 0
# Node ID 6291099daba603e2a1893c006b8bc1d296ae8fab
# Parent  29664616fca14f881473f5fb2258a677cfad595c
Fix a few blunders.

diff -r 29664616fca1 -r 6291099daba6 man/info.texi
--- 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.