From 9c540f10f769dec2f32e3735cb0e1fca47775889 Mon Sep 17 00:00:00 2001
From: kaoru <kaoru>
Date: Mon, 21 May 2001 06:07:55 +0000
Subject: [PATCH] Added version.texi.  Use it.

---
 doc/version.texi |    1 +
 doc/wl-ja.texi   |    2 +-
 doc/wl.texi      |    2 +-
 3 files changed, 3 insertions(+), 2 deletions(-)
 create mode 100644 doc/version.texi

diff --git a/doc/version.texi b/doc/version.texi
new file mode 100644
index 0000000..68d4040
--- /dev/null
+++ b/doc/version.texi
@@ -0,0 +1 @@
+@set VERSION 2.5.8
diff --git a/doc/wl-ja.texi b/doc/wl-ja.texi
index 07d57ec..22c4ad8 100644
--- a/doc/wl-ja.texi
+++ b/doc/wl-ja.texi
@@ -5,7 +5,7 @@
 @c %**end of header
 @documentlanguage ja
 @documentencoding iso-2022-jp
-@set VERSION 2.5.8
+@include version.texi
 @synindex pg cp
 @finalout
 
diff --git a/doc/wl.texi b/doc/wl.texi
index d3e0ba7..c6f233f 100644
--- a/doc/wl.texi
+++ b/doc/wl.texi
@@ -5,7 +5,7 @@
 @c %**end of header
 @documentlanguage en
 @documentencoding us-ascii
-@set VERSION 2.5.8
+@include version.texi
 @synindex pg cp
 @finalout
 
-- 
1.7.10.4