From 9391c9b564b4efb0ceb7cc8a89ae402dd0adf077 Mon Sep 17 00:00:00 2001
From: Werner Koch <wk@gnupg.org>
Date: Thu, 31 Oct 2002 15:29:12 +0000
Subject: [PATCH] version.texi is a generated file - it must not be kept in the
 rep.

---
 doc/version.texi | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 doc/version.texi

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