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

[Marco Maggi]

Marco Maggi wrote:
>     @set PACKAGE_HEADER blue.h
>     @set PACKAGE_HEADER_FILE @file{@value{PACKAGE_HEADER}}

Mh... I think I got it: it is the "_" in the flag name.
-- 
Marco Maggi