> Le 10 févr. 2020 à 19:47, Akim Demaille <[email protected]> a écrit :
> 
> Hi!
> 
> The following file is fine in non TeX output, but dies on the single-argument 
> @ref in PDF, because of the +.

Sorry.  That was with the latest texinfo.tex from gnulib (2019-09-24.13).

Reply via email to