Re: another serious `texi2dvi -E' bug

[Karl Berry]

    Is it really possible, or wanted? In texi2html (unless I am wrong), 
    @macros (and @value) are not expanded in @FORMAT. 

Fine by me.