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
