branch master updated: * doc/texinfo.texi (@code{@@headings}): Update now that @titlepage does not do "@headings on".

[Patrice Dumas]

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

pertusus pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new d1924ff043 * doc/texinfo.texi (@code{@@headings}): Update now that 
@titlepage does not do "@headings on".
d1924ff043 is described below

commit d1924ff04362cfe94e4721d0ca9cb944dc2b883b
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Wed Dec 28 23:35:06 2022 +0100

    * doc/texinfo.texi (@code{@@headings}): Update now that @titlepage
    does not do "@headings on".
---
 ChangeLog        |  5 +++++
 doc/texinfo.texi | 14 +++-----------
 2 files changed, 8 insertions(+), 11 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index e9c82e633a..56b0a3ed9d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2022-12-28  Patrice Dumas  <pertusus@free.fr>
+
+       * doc/texinfo.texi (@code{@@headings}): Update now that @titlepage
+       does not do "@headings on".
+
 2022-12-28  Patrice Dumas  <pertusus@free.fr>
 
        * tp/Texinfo/Convert/LaTeX.pm (_begin_document): add a special page
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 22f6d17872..7196025dbd 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -23130,9 +23130,7 @@ The @code{@@headings} command is rarely used.  It 
specifies what kinds of
 page headings and footings to print on each page.  Usually, this is
 controlled by the @code{@@setchapternewpage} command.  You need the
 @code{@@headings} command only if the @code{@@setchapternewpage} command
-does not do what you want, or if you want to turn off predefined page
-headings prior to defining your own.  Write a @code{@@headings} command
-immediately after the @code{@@end titlepage} command.
+does not do what you want.
 
 You can use @code{@@headings} as follows:
 
@@ -23161,21 +23159,15 @@ For example, suppose you write 
@code{@@setchapternewpage off} before the
 same page as the end of the last chapter.  This command also causes
 page headers to be typeset for single-sided printing.  To cause
 page headers to be typeset for double-sided printing, write @code{@@headings
-double} after the @code{@@end titlepage} command.
+double}.
 
 You can stop any page headings at all from being generated by writing
-@code{@@headings off} on a line of its own immediately after the line
-containing the @code{@@end titlepage} command, like this:
+@code{@@headings off} on a line of its own, like this:
 
 @example
-@@end titlepage
 @@headings off
 @end example
 
-@noindent
-The @code{@@headings off} command overrides the @code{@@end titlepage}
-command, which would otherwise turn on print page headings.
-
 
 @node Heading Format
 @subsection Standard Heading Formats