X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2FMakefile.in;h=63aafde84998d2ddc8d1de97d1fa0f4122b3970e;hb=5d430588fe6e97aafe01afbb540d0cb5351abc40;hp=0da9a1292e2d9188caa9dfa95e00d2a93129ed87;hpb=14a337d6814bb9f91cb56e330f4589c537782de5;p=helm.git

diff --git a/helm/configuration/Makefile.in b/helm/configuration/Makefile.in
index 0da9a1292..63aafde84 100644
--- a/helm/configuration/Makefile.in
+++ b/helm/configuration/Makefile.in
@@ -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