From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 21 Dec 2000 18:09:15 +0000 (+0000)
Subject: bug fixed
X-Git-Tag: nogzip~68
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e7cfa9bf4413d376480ccc431020f11b223b24d3;p=helm.git

bug fixed
---

diff --git a/helm/configuration/configure.in b/helm/configuration/configure.in
index b8a7cffd7..060d422c4 100644
--- a/helm/configuration/configure.in
+++ b/helm/configuration/configure.in
@@ -1,4 +1,4 @@
-AC_INIT(etc/configuration.xml)
+AC_INIT(etc/configuration.xml.in)
 
 if test "x$prefix" != xNONE; then
   RESOLVED_PREFIX=$prefix
@@ -49,4 +49,5 @@ AC_OUTPUT(
 [Makefile
  lib/configuration.pl
  etc/helm-math-engine-configuration.xml
+ etc/configuration.xml
 ])
diff --git a/helm/configuration/lib/configuration.pl.in b/helm/configuration/lib/configuration.pl.in
index 6c101d79e..da24bf10f 100644
--- a/helm/configuration/lib/configuration.pl.in
+++ b/helm/configuration/lib/configuration.pl.in
@@ -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";