1 files changed, 0 insertions, 3 deletions

diff --git a/version.texi b/version.texi
deleted file mode 100644
index 256cc9fe7..000000000
--- a/version.texi
+++ /dev/null
@@ -1,3 +0,0 @@
-@set UPDATED 15 October 2000
-@set EDITION 3.1
-@set VERSION 3.1