]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/lib/configuration.pl.in
bug fixed
[helm.git] / helm / configuration / lib / configuration.pl.in
index 6c101d79ef1a8190e90e5f7810cd4d78c6149ff8..da24bf10fbd950b2b2904aef6982dd5f872f704b 100644 (file)
@@ -2,7 +2,7 @@ use XML::Parser;
 
 use Env;
 my $HELM_CONFIGURATION_DIR = $ENV{"HELM_CONFIGURATION_DIR"};
-my $DEFAULT_HELM_CONFIGURATION_DIR = @HELM_ETC_DIR@;
+my $DEFAULT_HELM_CONFIGURATION_DIR = "@HELM_ETC_DIR@";
 # this should be the only fixed constant
 if (defined ($HELM_CONFIGURATION_DIR) {
    $configuration_file = $HELM_CONFIGURATION_DIR."/configuration.xml";