diff --git a/gnu/dist/cvs/doc/CVSvn.texi b/gnu/dist/cvs/doc/CVSvn.texi
deleted file mode 100644
index 4081fe83077e..000000000000
--- a/gnu/dist/cvs/doc/CVSvn.texi
+++ /dev/null
@@ -1 +0,0 @@
-@set CVSVN 1.11