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

[Arash Esbati]

David Kastrup <dak@gnu.org> writes:

> It needs to be written AUC@TeX{} .  Maybe the toc code errouneously
> strips the braces? ...  Oops.  In doc/macros.texi, we have
>
> \global\let\savedTeX\TeX
> \gdef\TeX#1{\savedTeX#1}
>
> This would indeed cause this problem.  Maybe try
>
> \gdef\TeX#{\savedTeX}

Thanks for your response.  This is what I get with your suggestion:

--8<---------------cut here---------------start------------->8---
[2] [-1] (Executive Summary)
! Use of @TeX doesn't match its definition.
@ConTeXt #1->Con@TeX t
                      #1
l.76 ...vironment for editing @LaTeX{}, @ConTeXt{}
                                                  ,
?
--8<---------------cut here---------------end--------------->8---

Any other idea?

Best, Arash