|Subject:||Re: @setfilename: for info only?|
|Date:||Tue, 30 Jun 2009 18:20:23 -0500|
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.
|[Prev in Thread]||Current Thread||[Next in Thread]|