]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/configure.in
*** empty log message ***
[helm.git] / helm / http_getter / configure.in
index 7577ae7425e6bade8391864a41215dd5376a4660..636173a9087ff15af303365cef3eb61e91c96b34 100644 (file)
@@ -6,7 +6,7 @@ MINOR_VERSION=0
 MICRO_VERSION=2
 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION
 
-DEFAULT_HELM_LIB_DIR=/usr/local/helm/lib
+DEFAULT_HELM_LIB_DIR=/usr/local/lib/helm
 
 AC_ARG_ENABLE(
        defaults,