[no subject]

[Gavin D. Smith]

branch: master
commit 820df7e2149de19a49f5aada251260507d5eb5ce
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Tue Aug 1 21:31:45 2023 +0100

    * doc/texinfo.texi: Start removing @menu throughout.
---
 ChangeLog        |  8 ++++----
 doc/texinfo.texi | 23 +++++++++++------------
 2 files changed, 15 insertions(+), 16 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 5cafad66d2..40cd14f86a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2023-08-01  Gavin Smith <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.texi: Start removing @menu throughout.
+
 2023-08-01  Gavin Smith <gavinsmith0123@gmail.com>
 
        Remove extra space for @nodedescriptionblock
@@ -14,10 +18,6 @@
        it tests what was tested before with a node description only fitting
        on the next line in a menu.
 
-2023-08-01  Gavin Smith <gavinsmith0123@gmail.com>
-
-       * doc/texinfo.texi: Start removing @menu throughout.
-
 2023-08-01  Gavin Smith <gavinsmith0123@gmail.com>
 
        * doc/texinfo.texi (PDF Colors): Move up a level as the section is not
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 5797cfb78b..6ad1154cb5 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -2172,20 +2172,9 @@ most other output formats.  In HTML, the best way to get 
a title page
 similar to printed manuals is to set the @code{NO_TOP_NODE_OUTPUT}
 customization variable (@pxref{@code{NO_TOP_NODE_OUTPUT}}).
 
-@menu
-* @code{@@titlepage}::                  Create a title for the printed 
document.
-* @code{@@title @@subtitle @@author}::    The @code{@@title}, 
@code{@@subtitle},
-                                 and @code{@@author} commands.
-* @code{@@titlefont @@center @@sp}::      The @code{@@titlefont}, 
@code{@@center},
-                                 and @code{@@sp} commands.
-* Copyright::                   How to write the copyright notice and
-                                 include copying permissions.
-* Heading Generation::          Turn on page headings after the title and
-                                 copyright pages.
-@end menu
-
 
 @node @code{@@titlepage}
+@nodedescription Create a title for the printed document.
 @subsection @code{@@titlepage}
 
 @anchor{titlepage}@c old name
@@ -2247,6 +2236,9 @@ page.  In HTML, @code{@@shorttitlepage} can play the same 
role as
 
 
 @node @code{@@title @@subtitle @@author}
+@nodedescriptionblock
+The @code{@@title}, @code{@@subtitle}, and @code{@@author} commands.
+@end nodedescriptionblock
 @subsection @code{@@title}, @code{@@subtitle}, and @code{@@author}
 
 @anchor{title subtitle author}@c old name
@@ -2327,6 +2319,9 @@ A template for this method looks like this:
 
 
 @node @code{@@titlefont @@center @@sp}
+@nodedescriptionblock
+The @code{@@titlefont}, @code{@@center}, and @code{@@sp} commands.
+@end nodedescriptionblock
 @subsection @code{@@titlefont}, @code{@@center}, and @code{@@sp}
 
 @anchor{titlefont center sp}@c old name
@@ -2395,6 +2390,9 @@ The spacing of the example fits an 8.5 by 11 inch manual.
 
 
 @node Copyright
+@nodedescriptionblock
+How to write the copyright notice and include copying permissions.
+@end nodedescriptionblock
 @subsection Copyright Page
 @cindex Copyright page
 @cindex Printed permissions
@@ -2466,6 +2464,7 @@ output in the same place.
 
 
 @node Heading Generation
+@nodedescription Turn on page headings after the title and copyright pages.
 @subsection Heading Generation
 
 @anchor{end titlepage}@c old name