7 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION
9 DEFAULT_HELM_DTD_DIR=/usr/local/share/helm/dtd
10 DEFAULT_HELM_STYLE_DIR=/usr/local/share/helm/style
14 [ --enable-defaults[=ARG] if yes then use defaults (don't ask user) [default=auto]],
15 USE_DEFAULTS=$enableval,
19 if test $USE_DEFAULTS = auto; then
20 AC_CHECK_PROG(HAVE_HELM_CONFIG, helm-config, yes, no)
21 if test $HAVE_HELM_CONFIG = yes; then
22 HELM_DTD_DIR=`helm-config --dtd-dir`
23 HELM_STYLE_DIR=`helm-config --style-dir`
29 if test $USE_DEFAULTS = no; then
31 echo "\`helm-config' is not installed (or I can't find it in your path)."
32 echo "Please, insert the directory where I can find the DTDs for HELM..."
34 echo -n "[[$DEFAULT_HELM_DTD_DIR]] ? "
36 if test "x$HELM_DTD_DIR" = "x"; then
37 HELM_DTD_DIR=$DEFAULT_HELM_DTD_DIR
40 echo "Please, insert the directory where I can find the stylesheets for HELM..."
42 echo -n "[[$DEFAULT_HELM_STYLE_DIR]] ? "
44 if test "x$HELM_STYLE_DIR" = "x"; then
45 HELM_STYLE_DIR=$DEFAULT_HELM_STYLE_DIR
47 elif test $USE_DEFAULTS = yes; then
48 HELM_DTD_DIR=$DEFAULT_HELM_DTD_DIR
49 HELM_STYLE_DIR=$DEFAULT_HELM_STYLE_DIR
54 AC_SUBST(HELM_DTD_DIR)
55 AC_SUBST(HELM_STYLE_DIR)