From 8dd15f13bf86f497241a8f3f2bcc47a5992c4efa Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 22 Dec 2000 17:46:26 +0000
Subject: [PATCH] ...

---
 helm/configuration/configure.in | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/helm/configuration/configure.in b/helm/configuration/configure.in
index 62c3285af..45d7d6431 100644
--- a/helm/configuration/configure.in
+++ b/helm/configuration/configure.in
@@ -13,9 +13,17 @@ else
 fi
 
 dnl General
+AC_MSG_CHECKING("for the lib/helm dir")
 HELM_LIB_DIR=$RESOLVED_EXEC_PREFIX/lib/helm
+AC_MSG_RESULT($HELM_LIB_DIR)
+
+AC_MSG_CHECKING("for the etc/helm dir")
 HELM_ETC_DIR=$RESOLVED_PREFIX/etc/helm
+AC_MSG_RESULT($HELM_ETC_DIR)
+
+AC_MSG_CHECKING("for the lib/helm dir")
 HELM_SHARE_DIR=$RESOLVED_PREFIX/share/helm
+AC_MSG_RESULT($HELM_SHARE_DIR)
 
 dnl Only for GtkMathview XML configuration
 HELM_DICTIONARY_PATH=$HELM_ETC_DIR/helm-dictionary.xml
@@ -95,16 +103,24 @@ AC_CACHE_SAVE
 
 
 CONFIGURATION_HELM_DIR=$HELM_LIBRARY_PREFIX/library
+
 dnl CSC: ERROR: getters should download the DTDs
 CONFIGURATION_DTD_DIR=$HELM_SHARE_DIR/dtd
+
 CONFIGURATION_SERVERS_FILE=$HELM_LIBRARY_PREFIX/servers.txt
 CONFIGURATION_URIS_DBM=$HELM_LIBRARY_PREFIX/urls_of_uris
 
+AC_MSG_CHECKING("for the tmp dir")
+RES=""
 if test -d "/tmp" ; then
    CONFIGURATION_TMPDIR=/tmp
 else
    AC_MSG_WARN(Could not find /tmp. What directory could I use instead?)
    read $CONFIGURATION_TMPDIR
+   RES="Asked"
+fi
+if test "$RES" != "Asked" ; then
+   AC_MSG_RESULT($CONFIGURATION_TMPDIR)
 fi
 
 AC_SUBST(HELM_LIB_DIR)
-- 
2.39.2