]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/helm-config.in
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / configuration / helm-config.in
diff --git a/helm/configuration/helm-config.in b/helm/configuration/helm-config.in
deleted file mode 100644 (file)
index 3b569de..0000000
+++ /dev/null
@@ -1,84 +0,0 @@
-
-usage()
-{
-       cat <<EOF
-Usage: helm-config [OPTIONS]
-Options:
-       [--version]
-       [--prefix]
-       [--exec-prefix]
-       [--bin-dir]
-       [--lib-dir]
-       [--etc-dir]
-       [--share-dir]
-       [--var-dir]
-       [--tmp-dir]
-       [--library-dir]
-       [--servers]
-       [--uris-dbm]
-       [--dtd-dir]
-       [--style-dir]
-EOF
-       exit $1
-}
-
-if test $# -eq 0; then
-       usage 1 1>&2
-fi
-
-while test $# -gt 0; do
-  case "$1" in
-  -*=*) optarg=`echo "$1" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
-  *) optarg= ;;
-  esac
-
-  case $1 in
-    --version)
-      echo @VERSION@
-      ;;
-    --prefix)
-      echo @RESOLVED_PREFIX@
-      ;;
-    --exec-prefix)
-      echo @RESOLVED_EXEC_PREFIX@
-      ;;
-    --bin-dir)
-      echo @HELM_BIN_DIR@
-      ;;
-    --lib-dir)
-      echo @HELM_LIB_DIR@
-      ;;
-    --etc-dir)
-      echo @HELM_ETC_DIR@
-      ;;
-    --share-dir)
-      echo @HELM_SHARE_DIR@
-      ;;
-    --var-dir)
-      echo @HELM_VAR_DIR@
-      ;;
-    --tmp-dir)
-      echo @HELM_TMP_DIR@
-      ;;
-    --library-dir)
-      echo @HELM_LIBRARY_DIR@
-      ;;
-    --servers)
-      echo @HELM_SERVERS_FILE@
-      ;;
-    --uris-dbm)
-      echo @HELM_URIS_DBM@
-      ;;
-    --dtd-dir)
-      echo @HELM_DTD_DIR@
-      ;;
-    --style-dir)
-      echo @HELM_STYLE_DIR@
-      ;;
-    *)
-      usage 1 1>&2
-      ;;
-  esac
-  shift
-done
-