diff --git a/doc/version.texi b/doc/version.texi
deleted file mode 100644
index 2a37b16..0000000
--- a/doc/version.texi
+++ /dev/null
@@ -1,4 +0,0 @@
-@set UPDATED 11 August 2020
-@set UPDATED-MONTH August 2020
-@set EDITION 1.6.1-beta10
-@set VERSION 1.6.1-beta10