From 4bc59ee759ca95cd47fd4962de9ece43f7ccc142 Mon Sep 17 00:00:00 2001
From: Neil Jerram <neil@ossau.uklinux.net>
Date: Fri, 9 Mar 2001 08:09:48 +0000
Subject: [PATCH] * Removed old copy of data-rep.texi.

---
 doc/ChangeLog     | 4 ++++
 doc/data-rep.texi | 0
 2 files changed, 4 insertions(+)
 delete mode 100644 doc/data-rep.texi

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 6b36ebf49..00d087658 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,7 @@
+2001-03-09  Neil Jerram  <neil@ossau.uklinux.net>
+
+	* data-rep.texi: Removed.
+
 2001-02-15  Neil Jerram  <neil@ossau.uklinux.net>
 
 	* README: Explain retirement of `data-rep.texi'.
diff --git a/doc/data-rep.texi b/doc/data-rep.texi
deleted file mode 100644
index e69de29bb..000000000