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