From 3bf090af0cf3453594ba4ea981786a89eb9b0db0 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 14 Nov 2001 12:11:34 +0000 Subject: [PATCH] Small improvement. --- helm/DEVEL/mlminidom/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2