diff --git a/doc/version.texi b/doc/version.texi
new file mode 100644
index 00000000..33cb361e
--- /dev/null
+++ b/doc/version.texi
@@ -0,0 +1,4 @@
+@set UPDATED 3 September 2002
+@set UPDATED-MONTH September 2002
+@set EDITION 0.3.12
+@set VERSION 0.3.12