# Check whether --with-html-dir was given.
if test "${with_html_dir+set}" = set; then
- withval=$with_html_dir; htmldir=$withval ;
+ withval=$with_html_dir; html_%dir=$withval ;
fi
fi
-if test -n "$htmldir" ; then
+if test -n "$html_dir" ; then
htmldata=simulate.html
fi
-if test -n "$htmldir"; then
+if test -n "$html_dir"; then
USE_HTML_TRUE=
USE_HTML_FALSE='#'
else
fi
-if test -n "$cgibindir" -o -n "$cgibinurl" -o -n "$webdatadir" -o -n "$webdataurl" -o -n "$htmldir" ; then
+if test -n "$cgibindir" -o -n "$cgibinurl" -o -n "$webdatadir" -o -n "$webdataurl" -o -n "$html_dir" ; then
webenabled=true
{ echo "$as_me:$LINENO: result: yes" >&5
{ { echo "$as_me:$LINENO: error: --with-webdata-url not set for web access" >&5
echo "$as_me: error: --with-webdata-url not set for web access" >&2;}
{ (exit 1); exit 1; }; }
- elif test -z "$htmldir" ; then
+ elif test -z "$html_dir" ; then
{ { echo "$as_me:$LINENO: error: --with-html-dir not set for web access" >&5
echo "$as_me: error: --with-html-dir not set for web access" >&2;}
{ (exit 1); exit 1; }; }