Fix default HTML directory.

diff --git a/configure.in b/configure.in
index 045f9cb..abf937d 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -1,6 +1,6 @@
 dnl -*-fundamental-*-
 dnl
-dnl $Id: configure.in,v 1.10 1998/01/12 16:45:21 mdw Exp $
+dnl $Id: configure.in,v 1.11 1998/02/20 17:55:56 mdw Exp $
 dnl
 dnl Source for auto configuration for `become'
 dnl
@@ -28,6 +28,9 @@ dnl Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 dnl----- Revision history ---------------------------------------------------
 dnl
 dnl $Log: configure.in,v $
+dnl Revision 1.11  1998/02/20 17:55:56  mdw
+dnl Fix default HTML directory.
+dnl
 dnl Revision 1.10  1998/01/12 16:45:21  mdw
 dnl Fix copyright date.
 dnl
@@ -112,7 +115,7 @@ AC_DEFINE_UNQUOTED(ETCDIR, "$etcdir")
 AC_ARG_WITH([htmldir],
 [  --with-htmldir=PATH   set directory for HTML documentation
                          [default is PREFIX/html/become]],
-[htmldir="$withval"], [htmldir="${prefix}/html/become"])
+[htmldir="$withval"], [htmldir='${prefix}/html/become'])
 AC_SUBST(htmldir)
 
 dnl --- Debugging stuff ---