Re: [help-texinfo] error compiling texi to dvi, conflicting names with texinfo.tex?

[Marco Maggi]

Gavin Smith wrote:
>On Fri, Feb 22, 2019 at 12:12:20PM +0100, Marco Maggi wrote:
>> Mh... I think I got it: it is the "_" in the flag name.
>
> Indeed, and this is documented in the '@set @value' node of the Texinfo
> manual.

While I understand  why TeX and friends complain, it  is an "unexpected"
limitation when writing a Texinfo document; even GNU Automake breaks the
rule  by  defining  UPDATED-MONTH,  in which  the  hyphen  character  is
"forbidden".

  I  wonder if  it would  be too  much work  to add  code that  prints a
warning when a dangerous flag name is used.

  The best  improvement, IMHO, would be  to transform the flag  names by
normalising them before handing them to the underlying formatter.

Otsukaresama deshita!
-- 
Marco Maggi