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
