texinfo.tex: accents in math mode

[John Mandereau]

Hi Texinfo hackers,

Spanish translation of LilyPond manual doesn't compile with current
texinfo.tex, although output looks fine.  Here's a small example which
reproduces the bug, with the log I get from texi2pdf.  A very similar
error message in the log appears when I replace the UTF-8 character 'ó'
with "@'o".

Of course, the actual input in LilyPond manual can be reformulated so it
doesn't use @math any more, but fixing this might be more important in
other cases.


\input texinfo
@setfilename mathaccents.info
@settitle Math accents
@documentencoding UTF-8

blablabla @math{alteración > 0} blablabla

@bye


$ texi2pdf --batch mathaccents.texi
/usr/bin/texi2dvi: Running pdfetex --file-line-error </dev/null '\nonstopmode' 
'\input' './mathaccents.texi' ...
This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6)
 file:line:error style messages enabled.
 %&-line parsing enabled.
entering extended mode

(./mathaccents.texi (./texinfo.tex Loading texinfo [version 2008-03-31.10]:
pdf, fonts, page headings, tables, conditionals, indexing, sectioning, toc,
environments, defuns, macros, cross references, insertions,
(/usr/local/texlive/2007/texmf-patch/tex/generic/dvips/epsf.tex) localization,
formatting, and turning on texinfo input format.) (./mathaccents.aux)
./mathaccents.texi:6: Please use \mathaccent for accents in math mode.
\'#1->{\accent 
               19 #1}
<argument> alteració
                     n > 0
\finishmath #1->#1
                  $\endgroup 
l.6 blablabla @math{alteración > 0}
                                     blablabla
[1{/usr/local/texlive/2007/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] )
(see the transcript file for additional information)</usr/local/texlive/2007/te
xmf-dist/fonts/type1/bluesky/cm/cmmi10.pfb></usr/local/texlive/2007/texmf-dist/
fonts/type1/bluesky/cm/cmr10.pfb>
Output written on mathaccents.pdf (1 page, 11030 bytes).
Transcript written on mathaccents.log.
/usr/bin/texi2dvi: pdfetex exited with bad status, quitting.

Regards,
John