Hello bug-texinfo readers, this thread <http://thread.gmane.org/gmane.comp.sysutils.automake.general/10828/focus=10829> made me wonder what @setfilename is intended for; the texinfo manual doesn't seem to be too explicit about this. Is it meant to name the .info file only, or also serve as base to any or some of the HTML, DVI, PDF, .txt outputs?
I'm considering adjusting Automake's rules to adhere to what Texinfo states here, to improve this issue. Thanks, Ralf
