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

[Gavin Smith]

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.