Re: Duplicate @setfilename commands

[Karl Berry]

Hi John,

    I think, at very least the warning should be uncommented. The 

No, it turns out there are too many manuals that do weird things.

    add_word_args ("<setfilename>%s</setfilename>", filename);
    is wrong anyway, since it gets expanded to 
         <para>&lt;setfilename&gt;ignored&lt;/setfilename&gt;</para>

I doubt texi2html will suffer from that bug, so it should be ok in the
future.  I also asked Patrice to check on the bugs you reported through
savannah.

Thanks,
Karl