From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 14 Nov 2001 12:11:34 +0000 (+0000)
Subject: Small improvement.
X-Git-Tag: mlminidom_0_2_2~96
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3bf090af0cf3453594ba4ea981786a89eb9b0db0;hp=2567999eda5aca4ec1790a83ef2bd90ecbd3b3db;p=helm.git

Small improvement.
---

diff --git a/helm/DEVEL/mlminidom/Makefile.in b/helm/DEVEL/mlminidom/Makefile.in
index 7f88f872b..cd77f1ea3 100644
--- a/helm/DEVEL/mlminidom/Makefile.in
+++ b/helm/DEVEL/mlminidom/Makefile.in
@@ -87,7 +87,7 @@ uninstall:
 	ocamlfind remove $(PACKAGE)
 
 clean:
-	rm -f *.o *.cm? test test.opt mlminidom.cma mlminidom.cmxa mlminidom.a
+	rm -f *.o *.cm? test test.opt $(ARCHIVE) $(ARCHIVE_C) $(ARCHIVE_OPT)
 	rm -rf $(TMPDIR)
 
 distclean: clean