Small improvement.

diff --git a/helm/DEVEL/mlminidom/Makefile.in b/helm/DEVEL/mlminidom/Makefile.in
index 7f88f872be2693e84a0aed9b860dcb32dee4dd04..cd77f1ea3177e42af4689aeccfe0bc4d560c84e3 100644 (file)
--- 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