On Mon, Mar 04, 2024 at 09:16:44PM +0000, Gavin Smith wrote:
> \itemcontents expands to \asis and then TeX tries to take the } following
> as the argument to \asis, which is invalid.
> 
> Basically @asis takes an argument in the TeX implementation, whereas
> commands like @bullet or @minus don't, even though you usually should
> write them as @bullet{} and @minus{}.

To me this supports even more changing the Texinfo language to have
braces for @bullet or @minus on the @itemize line, as not having them
seems to be permitted by an implementation detail of the TeX
implementation.

I attach a diff for the Texinfo manual to remove the permission not to
have braces for mark commands on the @itemize line.

Would that be ok to apply?

-- 
Pat
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 8134324275..7ee43e3746 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -6675,7 +6675,7 @@ @node Introducing Lists
 Begin an enumerated list, for example, with an @code{@@enumerate}
 command and end the list with an @code{@@end enumerate} command.
 Begin an itemized list with an @code{@@itemize} command, followed on
-the same line by a formatting command such as @code{@@bullet}, and end
+the same line by a formatting command such as @code{@@bullet@{@}}, and end
 the list with an @code{@@end itemize} command.
 
 Precede each element of a list with an @code{@@item} or @code{@@itemx}
@@ -6746,14 +6746,13 @@ @node @code{@@itemize}
 Begin an itemized list by writing @code{@@itemize} at the beginning of
 a line.  Follow the command, on the same line, with a character or a
 Texinfo command that generates a mark.  Usually, you will use
-@code{@@bullet} after @code{@@itemize}, but you can use
-@code{@@minus}, or any command or character that results in a single
-character in the Info file.  (When you write the mark command such as
-@code{@@bullet} after an @code{@@itemize} command, you may omit the
-@samp{@{@}}.)  If you don't specify a mark command, the default is
-@code{@@bullet}.  If you don't want any mark at all, but still want
-logical items, use @code{@@w@{@}} (in this case the braces are
-required).
+@code{@@bullet@{@}} after @code{@@itemize}, but you can use
+@code{@@minus@{@}}, or any command or character that results in a single
+character@footnote{Omitting the @samp{@{@}} of mark commands
+after an @code{@@itemize} command is discouraged, but was allowed
+before 2024}.  If you don't specify a mark command, the default is
+@code{@@bullet@{@}}.  If you don't want any mark at all, but still want
+logical items, use @code{@@w@{@}}.
 
 @findex item @r{in @code{@@itemize}}
 After the @code{@@itemize}, write your items, each starting with
@@ -6776,12 +6775,12 @@ @node @code{@@itemize}
 make the list look better.
 
 Here is an example of the use of @code{@@itemize}, followed by the
-output it produces.  @code{@@bullet} produces an @samp{*} in Info and
+output it produces.  @code{@@bullet@{@}} produces an @samp{*} in Info and
 a round dot in other output formats.
 
 @example
 @group
-@@itemize @@bullet
+@@itemize @@bullet@{@}
 @@item
 Some text for foo.
 
@@ -6811,11 +6810,11 @@ @node @code{@@itemize}
 
 @example
 @group
-@@itemize @@bullet
+@@itemize @@bullet@{@}
 @@item
 First item.
 
-@@itemize @@minus
+@@itemize @@minus@{@}
 @@item
 Inner item.
 
@@ -6833,11 +6832,11 @@ @node @code{@@itemize}
 This produces:
 
 @quotation
-@itemize @bullet
+@itemize @bullet{}
 @item
 First item.
 
-@itemize @minus
+@itemize @minus{}
 @item
 Inner item.
 
@@ -9647,10 +9646,6 @@ @node @code{@@bullet}
 the closest possible thing to one.  An asterisk can also be used.
 Here is a bullet: @bullet{}
 
-When you use @code{@@bullet} in @code{@@itemize}, you do not need to
-type the braces, because @code{@@itemize} supplies them.
-(@pxref{@code{@@itemize}}).
-
 
 @node @code{@@euro}
 @nodedescription How to insert the euro currency symbol.
@@ -19272,7 +19267,7 @@ @node Command List
 
 @item @@itemize @var{mark-generating-character-or-command}
 Begin an unordered list: indented paragraphs with a mark, such as
-@code{@@bullet}, inside the left margin at the beginning of each item.
+@code{@@bullet@{@}}, inside the left margin at the beginning of each item.
 Pair with @code{@@end itemize}.  @xref{@code{@@itemize}}.
 
 @item @@itemx

Reply via email to