From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 22 Dec 2000 16:51:56 +0000 (+0000)
Subject: install file removed
X-Git-Tag: nogzip~59
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5d430588fe6e97aafe01afbb540d0cb5351abc40;p=helm.git

install file removed
---

diff --git a/helm/configuration/configure.in b/helm/configuration/configure.in
index acce265e1..e4e55c236 100644
--- a/helm/configuration/configure.in
+++ b/helm/configuration/configure.in
@@ -33,11 +33,15 @@ AC_CACHE_VAL(helm_cv_GTKMATHVIEW_DICTIONARY_PATH,
       echo ""
       AC_MSG_WARN(Could not find dictionary.xml. Where is it?)
       read helm_cv_GTKMATHVIEW_DICTIONARY_PATH
+      RES="Asked"
    else
       AC_MSG_RESULT("yes")
    fi
 )
 GTKMATHVIEW_DICTIONARY_PATH=$helm_cv_GTKMATHVIEW_DICTIONARY_PATH
+if test "$RES" != "Asked" ; then
+   AC_MSG_RESULT($GTKMATHVIEW_DICTIONARY_PATH)
+fi
 AC_CACHE_SAVE
 
 AC_MSG_CHECKING("for font-configuration.xml")
diff --git a/helm/configuration/install b/helm/configuration/install
deleted file mode 100755
index f84b12cb3..000000000
--- a/helm/configuration/install
+++ /dev/null
@@ -1,19 +0,0 @@
-#!/bin/sh
-
-echo "********************************************************"
-echo "* Insert the root dir \$root                           *"
-echo "* Files will be installed in \$root/local/lib/helm and *"
-echo "* in \$root/local/lib/etc/helm/                        *"
-echo "********************************************************"
-echo -n "\$root="
-read ROOT
-
-mkdir -p $ROOT/local/lib/helm
-mkdir -p $ROOT/local/etc/helm
-
-echo cp local/lib/helm/configuration.pl $ROOT/local/lib/helm/
-cp local/lib/helm/configuration.pl $ROOT/local/lib/helm/
-
-echo cp local/etc/helm/* $ROOT/local/etc/helm/
-cp local/etc/helm/* $ROOT/local/etc/helm/
-