[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: dvi bug in distcheck target?

From: Ralf Wildenhues
Subject: Re: dvi bug in distcheck target?
Date: Wed, 24 Jun 2009 20:59:52 +0200
User-agent: Mutt/1.5.20 (2009-06-15)

Hi John,

thanks for the report.

* John Calcote wrote on Wed, Jun 24, 2009 at 08:10:02PM CEST:
> It appears that make clean is leaving the dvi file in place. In
> fact, when I manually execute make clean, after make dvi, I get the
> following output:
> test -z "zardoz" || rm -f zardoz
> rm -rf zardoz.aux zardoz.cp zardoz.cps zardoz.fn zardoz.fns \
>           zardoz.kys zardoz.log zardoz.pgs zardoz.tmp \
>           zardoz.toc zardoz.tps zardoz.vr zardoz.vrs \
>           sample.dvi sample.pdf sample.html
> rm -f *.o
> It looks like the last line should contain:
>           zardoz.dvi zardoz.pdf zardoz.html

It would if you had

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]