Re: Duplicate @setfilename commands

2009-03-12 Thread 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 ("%s", filename); is wrong anyway, since it gets expanded to ignored I doubt texi2html will su

Duplicate @setfilename commands

2009-03-12 Thread John Darrington
In makeinfo/cmds.c I see the following: /* I don't know exactly what to do with this. Should I allow someone to switch filenames in the middle of output? Since the file could be partially written, this doesn't seem to make sense. Another option: ignore it, since they don't really want