|
From: | John Calcote |
Subject: | Re: dvi bug in distcheck target? |
Date: | Wed, 24 Jun 2009 13:15:10 -0600 |
User-agent: | Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US; rv:1.9.1b3pre) Gecko/20090223 Thunderbird/3.0b2 |
Hi Ralf, On 6/24/2009 12:59 PM, Ralf Wildenhues wrote:
Wow. Sure enough. I set the texi setfilename field to zardoz.info and all is well again. It never occurred to me that Automake would look inside the texi file to determine the name of the output file, but it makes sense. I copied this sample file from the texinfo manual as a quick input file, but didn't check the contents that closely.It looks like the last line should contain: zardoz.dvi zardoz.pdf zardoz.ps zardoz.htmlIt would if you had @setfilename zardoz.info in your zardoz.texi file. Hmm, this is probably a bug in Automake, but from 'info texi2dvi', I cannot even infer whether it is intentional that @setfilename not decide the name of DVI or PDF output, and while I think it implies to do so for HTML, I'm not fully sure either.
Thanks for the tip. John
[Prev in Thread] | Current Thread | [Next in Thread] |