]> matita.cs.unibo.it Git - helm.git/blob - helm/configuration/Makefile.in
library files added
[helm.git] / helm / configuration / Makefile.in
1 HELM_LIB_DIR=@HELM_LIB_DIR@
2 HELM_ETC_DIR=@HELM_ETC_DIR@
3 HELM_LIBRARY_DIR=@HELM_LIBRARY_DIR@
4
5 install:
6         cp lib/configuration.pl $(HELM_LIB_DIR)
7         cp etc/* $(HELM_ETC_DIR)
8         cp library/servers.txt library/urls_of_uris.db $(HELM_LIBRARY_DIR)
9
10 distclean:
11         rm -f Makefile configure config.log config.cache config.status
12
13 .PHONY: install distclean