w3m

commit 979d13e3f82235c289e6d92b882f920f8cd23a75
parent 92149493e457e864a610bea73c2225b789fb4b1c
Author: ukai <ukai>
Date:   Thu, 20 Dec 2001 04:03:24 +0000

w3m 0.2.3 rc3
From: Fumitoshi UKAI <ukai@debian.or.jp>

Diffstat:
M
ChangeLog
 | 
5
+++++
M
configure
 | 
5
++---

2 files changed, 7 insertions(+), 3 deletions(-)
diff --git a/ChangeLog b/ChangeLog
@@ -1,3 +1,8 @@
+2001-12-20  Fumitoshi UKAI  <ukai@debian.or.jp>
+
+	* w3m 0.2.3 release condidate 3
+	* configure (use_bundled_gclib): added
+
 2001-12-20  Hironori Sakamoto <hsaka@mth.biglobe.ne.jp>
 
 	* w3m 0.2.3 release candidate 2
diff --git a/configure b/configure
@@ -1013,9 +1013,8 @@ EOF
     echo "GC_version is $gcversion."    
     if [ $gcversion -lt $mygcversion ]; then
       echo "GC library on your system seems to be old."
-      echo "Do you want to use GC library comes with w3m?"
-      yesno ans y y
-      if [ "$ans" = 'n' -o "$ans" = 'N' ]; then
+      ask_param "Do you want to use GC library comes with w3m?" "use_bundled_gclib" y
+      if [ "$use_bundled_gclib" = 'n' -o "$use_bundled_gclib" = 'N' ]; then
         cflags="$cflags -I$gcinclude"
       else
         cflags="$cflags -I./gc/include"