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