diff options
Diffstat (limited to 'skribe/etc/skribe-config.in')
| -rw-r--r-- | skribe/etc/skribe-config.in | 64 |
1 files changed, 0 insertions, 64 deletions
diff --git a/skribe/etc/skribe-config.in b/skribe/etc/skribe-config.in deleted file mode 100644 index 2a03e26..0000000 --- a/skribe/etc/skribe-config.in +++ /dev/null @@ -1,64 +0,0 @@ -#!/bin/sh -# -# Author: Erick Gallesio [eg@essi.fr] -# Creation date: 19-Nov-2003 21:04 (eg) -# Last file update: 19-Nov-2003 22:29 (eg) - - -function usage() -{ - cat <<EOF -Usage: skribe-config [OPTIONS] -Options: - [--prefix | -p] Prefix that was given during the build - [--version | -v] Version of Skribe that is installed - [--skr-dir | -k] Display the skr directory location - [--extension-dir | -e] Display the extension directory location - [--doc-dir | -d] Display the documentation directory location - [--emacs-dir | -m] Display the emacs directory location - [--scheme | -s] Display the Scheme systeme used - [--help | -h | -?] Show a list of options -EOF - exit $1 -} - - -if test $# -eq 0; then - usage 1 1>&2 -fi - -while test $# -gt 0; do - case $1 in - --prefix|-p) - echo @PREFIX@ - ;; - --version|-v) - echo @SKRIBE_RELEASE@ - ;; - --extension-dir|-e) - echo @SKRIBE_EXT_DIR@ - ;; - --skr-dir|-k) - echo @SKRIBE_SKR_DIR@ - ;; - --doc-dir|-d) - echo @SKRIBE_DOC_DIR@ - ;; - --emacs-dir|-m) - echo @SKRIBE_EMACS_DIR@ - ;; - --scheme|-s) - echo @SYSTEM@ - ;; - --help|-h|-\?) - usage 0 1>&2 - ;; - *) - echo "bad option $1" 1>&2 - usage 1 1>&2 - ;; - esac - shift -done -exit 0 - |