[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.ky \
> zardoz.kys zardoz.log zardoz.pg zardoz.pgs zardoz.tmp \
> zardoz.toc zardoz.tp zardoz.tps zardoz.vr zardoz.vrs \
> sample.dvi sample.pdf sample.ps sample.html
> rm -f *.o
>
> It looks like the last line should contain:
>
> zardoz.dvi zardoz.pdf zardoz.ps zardoz.html
It 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.
Cheers,
Ralf