X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fconfigure.in;h=a0e68d7246e8be068c181eb7f25410aca2192aa3;hb=4ef40e8fb4de63f9699268b389f052007bc87f54;hp=e7dc8c801f1a2904b82746d11e3e300881b05237;hpb=51a55115aa687a5ce1e9f1be1aefba47b6044eeb;p=helm.git

diff --git a/helm/interface/configure.in b/helm/interface/configure.in
index e7dc8c801..a0e68d724 100644
--- a/helm/interface/configure.in
+++ b/helm/interface/configure.in
@@ -6,7 +6,7 @@ MINOR_VERSION=0
 MICRO_VERSION=2
 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION
 
-DEFAULT_HELM_CONFIGURATION_DIR=/etc/helm
+DEFAULT_HELM_CONFIGURATION_DIR=/usr/local/etc/helm
 
 AC_ARG_ENABLE(
 	defaults,