Running pdftex on auctex.texi with texinfo 2023-01-02.21 fails

[Arash Esbati]

Hi,

happy new year to all.  I have a problem building AUCTeX from the git
repo where pdftex-ing the manual (auctex.texi) fails.  I think this is
an issue with the latest texinfo which is

  \def\texinfoversion{2023-01-02.21}

provided by TeXlive.  Steps to reproduce in a shell:

 • In doc/ directory, do 'make clean'
 • Then do 'pdftex auctex.texi'
 • And again 'pdftex auctex.texi'

The first run passes, the second one says:

--8<---------------cut here---------------start------------->8---
(./auctex.toc
! Argument of @TeX has an extra }.
<inserted text>
                @par
<to be read again>
                   }
@dosecentry ...leftskip =@tocindent @tocentry {#1}
                                                  {#2}@endgroup
l.4 ...ntry{Overview of AUC@TeX }{1.1}{Summary}{3}

?
--8<---------------cut here---------------end--------------->8---

Can others reproduce this?

Best, Arash