]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/configure.in
library files added
[helm.git] / helm / configuration / configure.in
index ddf1bb4248e46114ee533fc9bbd3c8dc662e53ff..6451a233df40ed08fa84df212fd6dfb0b031ba13 100644 (file)
@@ -51,7 +51,7 @@ dnl Only for HELM XML configuration
 AC_MSG_WARN(Where should I put the downloaded library? Note: the directory and all the files and subdirectories recursively in it should be world writeable)
 read HELM_LIBRARY_PREFIX
 
-CONFIGURATION_HELM_DIR=$HELM_LIBRARY_PREFIX/examples
+CONFIGURATION_HELM_DIR=$HELM_LIBRARY_PREFIX/library
 dnl CSC: ERROR: getters should download the DTDs
 CONFIGURATION_DTD_DIR=$HELM_SHARE_DIR/dtd
 CONFIGURATION_SERVERS_FILE=$HELM_LIBRARY_PREFIX/servers.txt