r11240: rename from htmldir in configure.ac. Is it some new autoconf reserved name?

[ctsim.git] / configure

diff --git a/configure b/configure
index e83f1231678c32ffdcbb6b3b4ac86baf13924446..d9520231da58dfa022f5fb367cb904a2eeb6dec8 100755 (executable)
--- a/configure
+++ b/configure
@@ -10890,7 +10890,7 @@ fi
 
 # 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
 
 
@@ -10899,13 +10899,13 @@ if test -n "$cgibindir" -o -n "$cgibinurl" ; then
 
 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
@@ -10914,7 +10914,7 @@ 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
@@ -10935,7 +10935,7 @@ echo "$as_me: error: --with-webdata-dir not set for web access" >&2;}
     { { 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; }; }