]> matita.cs.unibo.it Git - helm.git/commitdiff
Small improvement.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 Nov 2001 12:11:34 +0000 (12:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 Nov 2001 12:11:34 +0000 (12:11 +0000)
helm/DEVEL/mlminidom/Makefile.in

index 7f88f872be2693e84a0aed9b860dcb32dee4dd04..cd77f1ea3177e42af4689aeccfe0bc4d560c84e3 100644 (file)
@@ -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