autoupdate

diff --git a/doc/maintain.texi b/doc/maintain.texi
index a1cedb713b037dd69ad3e89b69609bbbf42da080..893ddb7309fe5e813e9e983c0e021c500897a4c4 100644 (file)
--- a/doc/maintain.texi
+++ b/doc/maintain.texi
@@ -995,7 +995,7 @@ section which explains the importance of free documentation.  Write to
 
 When you distribute several manuals together in one software package,
 their on-line forms can share a single copy of the GFDL (see
-section@tie{}6).  However, the printed (@samp{.dvi}, @samp{.pdf},
+section@tie{}6).  However, the printed (@samp{.pdf},
 @dots{}) forms should each contain a copy of the GFDL, unless they are
 set up to be printed and published only together.  Therefore, it is
 usually simplest to include the GFDL in each manual.
@@ -1713,7 +1713,7 @@ installing the diffs).
 
 The purpose of having diffs is that they are small.  To keep them
 small, exclude files that the user can easily update.  For example,
-exclude info files, DVI files, tags tables, output files of Bison or
+exclude info files, PDF files, tags tables, output files of Bison or
 Flex.  In Emacs diffs, we exclude compiled Lisp files, leaving it up
 to the installer to recompile the patched sources.
 
@@ -2597,7 +2597,7 @@ The template files will automatically produce entries for additional
 HTML output generated by @command{texi2html} (i.e., split by sections
 and chapters).
 
-You can set the environment variables @env{MAKEINFO}, @env{TEXI2DVI},
+You can set the environment variables @env{MAKEINFO}, @env{TEXI2PDF},
 etc., to control the programs that get executed, and
 @env{GENDOCS_TEMPLATE_DIR} to control where the
 @file{gendocs_template} file is found.