Re: @setfilename: for info only?

[Karl Berry]

    Did you mean TeX specifically, or Texinfo as well?

In practice, I believe @setfilename is not needed when running makeinfo,
only TeX, if that's what you're asking.  However, any PDF output
produced by other methods would surely be greatly inferior.