More cleaning in distclean

diff --git a/helm/configuration/Makefile.in b/helm/configuration/Makefile.in
index 05e9b6b62e27178b88fab0740d822c01f8e4b745..95442f35a958660351795b4e32bf349c89f62b08 100644 (file)
--- 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