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

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

[help-texinfo] @insertcopying in html

Hi, For a reason I don't understand, the @insertcopying in this attached document has no effect in html output (both makeinfo and texi2any). Any idea? Thanks Hilaire -- GNU Dr. Geo http://drgeo.eu \input texinfo @c -*-texinfo-*- @c %**start of header @settitle GNU Dr. Geo manuel utilisateur