Re: dvi bug in distcheck target?

[Ralf Wildenhues]

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