+if test $USE_DEFAULTS = no; then
+ echo
+ echo "\`helm-config' is not installed (or I can't find it in your path)."
+ echo "Please, insert the directory where I can find the DTDs for HELM..."
+ echo
+ echo -n "[[$DEFAULT_HELM_DTD_DIR]] ? "
+ read HELM_DTD_DIR
+ if test "x$HELM_DTD_DIR" = "x"; then
+ HELM_DTD_DIR=$DEFAULT_HELM_DTD_DIR
+ fi
+ echo
+ echo "Please, insert the directory where I can find the stylesheets for HELM..."
+ echo
+ echo -n "[[$DEFAULT_HELM_STYLE_DIR]] ? "
+ read HELM_STYLE_DIR
+ if test "x$HELM_STYLE_DIR" = "x"; then
+ HELM_STYLE_DIR=$DEFAULT_HELM_STYLE_DIR
+ fi
+elif test $USE_DEFAULTS = yes; then
+ HELM_DTD_DIR=$DEFAULT_HELM_DTD_DIR
+ HELM_STYLE_DIR=$DEFAULT_HELM_STYLE_DIR
+fi