branch master updated: * doc/texinfo.texi (Format with texi2dvi or texi2pdf): Remove commentary on the difference between pdftex and pdfetex. (According to pdfTeX documentation, they have been synonymous since pdfTeX 1.40, released 2007).

[Gavin D. Smith]

This is an automated email from the git hooks/post-receive script.

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 5f00b0a455 * doc/texinfo.texi (Format with texi2dvi or texi2pdf): 
Remove commentary on the difference between pdftex and pdfetex. (According to 
pdfTeX documentation, they have been synonymous since pdfTeX 1.40, released 
2007).
5f00b0a455 is described below

commit 5f00b0a455f094d3a53ad4e554ec07111e6f28b4
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Tue Aug 23 18:10:45 2022 +0100

    * doc/texinfo.texi (Format with texi2dvi or texi2pdf):
    Remove commentary on the difference between pdftex and pdfetex.
    (According to pdfTeX documentation, they have been synonymous
    since pdfTeX 1.40, released 2007).
---
 ChangeLog        | 7 +++++++
 doc/texinfo.texi | 6 +-----
 2 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index c03560dc54..635e47f9fd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2022-08-23  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.texi (Format with texi2dvi or texi2pdf):
+       Remove commentary on the difference between pdftex and pdfetex.
+       (According to pdfTeX documentation, they have been synonymous
+       since pdfTeX 1.40, released 2007).
+
 2022-08-23  Gavin Smith  <gavinsmith0123@gmail.com>
 
        * doc/texinfo.texi (Structuring Command Types): Grammar
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 63b0011256..5a9f054c94 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -14547,15 +14547,11 @@ can also be set using the environment variable
 @end table
 
 @pindex etex
-@pindex pdfetex
-@command{texi2dvi} will use @command{etex} (or @command{pdfetex}) if
+@command{texi2dvi} will use @command{etex} if
 it is available, because it runs faster in some cases, and
 provides additional tracing information when debugging
 @file{texinfo.tex}.  Nevertheless, this extended version of @TeX{} is
 not required, and the DVI output is identical.
-(These days, @command{pdftex} and @command{pdfetex} are exactly the
-same, but we still run @command{pdfetex} to cater to ancient @TeX{}
-installations.)
 
 @cindex file recorder for @TeX{}
 @cindex @samp{\openout} line in log file