[w3m-dev 02687] version number in w3mhelp-*.html (+[w3m-dev 02689])

From: Dai Sato <satodai@dog.intcul.tohoku.ac.jp>

1 files changed, 7 insertions, 1 deletions

diff --git a/configure b/configure
index c851313..30c8ad6 100755
--- a/configure
+++ b/configure
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $Id: configure,v 1.44 2001/12/21 21:37:12 ukai Exp $
+# $Id: configure,v 1.45 2001/12/21 22:02:39 ukai Exp $
 #	Configuration.
 #
 
@@ -1896,6 +1896,12 @@ esac
 cvsver=`awk '\$1 ~ /[$]Id:/ { print \$3}' ChangeLog`
 sed -e 's/^#define CURRENT_VERSION "\(.*\)+cvs.*"/#define CURRENT_VERSION "\1+cvs-'$cvsver'"/' version.c.in > version.c
 
+cur_ver=`sed -n 's/^#define CURRENT_VERSION *"w3m\/\([^"]*\)".*$/\1/p' version.c`
+for h in w3mhelp-{lynx,w3m}_{en,ja}.html
+do
+  sed -e 's/@CURRENT_VERSION@/'$cur_ver'/' $h.in > $h
+done
+
 cat > extrvers.c << EOF
 #include <stdio.h>
 #include <string.h>