From 5d430588fe6e97aafe01afbb540d0cb5351abc40 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 22 Dec 2000 16:51:56 +0000
Subject: [PATCH] install file removed

---
 helm/configuration/configure.in |  4 ++++
 helm/configuration/install      | 19 -------------------
 2 files changed, 4 insertions(+), 19 deletions(-)
 delete mode 100755 helm/configuration/install

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/
-
-- 
2.39.2