Il n'y a pas de raison de supprimer le dvi vu qu'il est distribué. Index: doc/ChangeLog from Nicolas Burrus <burrus_n@lrde.epita.fr> * ref/Makefile.am (CLEANFILES): Don't remove dvi files. Index: doc/ref/Makefile.am --- doc/ref/Makefile.am Mon, 28 Jul 2003 17:56:05 +0200 burrus_n (oln/d/51_Makefile.a 1.27.1.7 640) +++ doc/ref/Makefile.am Mon, 11 Aug 2003 15:35:58 +0200 burrus_n (oln/d/51_Makefile.a 1.27.1.8 640) @@ -96,7 +96,7 @@ $(srcdir)/html/* $(srcdir)/bin/* \ $(srcdir)/filelists.make -CLEANFILES = = *.tmp *.aux *.bbl *blg *.dvi *.lot *.log *.out *.toc +CLEANFILES = = *.tmp *.aux *.bbl *blg *.lot *.log *.out *.toc ### ### What gets installed.