From de20483144c023eb667c89a7010e98bb6ba263b4 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2000 08:49:25 +0000 Subject: [PATCH] More cleaning in distclean --- helm/configuration/Makefile.in | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/helm/configuration/Makefile.in b/helm/configuration/Makefile.in index 05e9b6b62..95442f35a 100644 --- a/helm/configuration/Makefile.in +++ b/helm/configuration/Makefile.in @@ -13,6 +13,8 @@ install: cp library/servers.txt library/urls_of_uris.db $(HELM_LIBRARY_DIR) distclean: - rm -f Makefile configure config.log config.cache config.status + rm -f Makefile configure config.log config.cache config.status \ + etc/configuration.xml etc/helm-math-engine-configuration.xml \ + lib/configuration.pl .PHONY: install distclean -- 2.39.2