Il n'y a pas de raison de supprimer le dvi vu qu'il est distribué.
Index: doc/ChangeLog
from Nicolas Burrus <burrus_n(a)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.
Show replies by date