Added version.texi. Use it.

diff --git a/doc/version.texi b/doc/version.texi
new file mode 100644 (file)
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 (file)
--- 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 (file)
--- 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