]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/Makefile.in
library files added
[helm.git] / helm / configuration / Makefile.in
index 0da9a1292e2d9188caa9dfa95e00d2a93129ed87..63aafde84998d2ddc8d1de97d1fa0f4122b3970e 100644 (file)
@@ -1,9 +1,11 @@
 HELM_LIB_DIR=@HELM_LIB_DIR@
 HELM_ETC_DIR=@HELM_ETC_DIR@
+HELM_LIBRARY_DIR=@HELM_LIBRARY_DIR@
 
 install:
        cp lib/configuration.pl $(HELM_LIB_DIR)
        cp etc/* $(HELM_ETC_DIR)
+       cp library/servers.txt library/urls_of_uris.db $(HELM_LIBRARY_DIR)
 
 distclean:
        rm -f Makefile configure config.log config.cache config.status