#!/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 <&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