From 73854215942e4f539d4fc1d969759942a982823d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 May 2001 16:02:32 +0000
Subject: Doc of spec and menu, patch now removed

---
 etc/README | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/etc/README b/etc/README
index c7f97d9b..2e88cdf6 100644
--- a/etc/README
+++ b/etc/README
@@ -1,8 +1,11 @@
-Files in this directory  (not part of standard distribution)
-============================================================
+Files in this directory  (not all part of standard distribution - some only in devel)
+=====================================================================================
 
-ProofGeneral.spec   }  For building the Proof General RPM.
-ProofGeneral.patch  }
+ProofGeneral.spec      For building the Proof General RPM.
+		       Use "rpm -tb" to build from tarball.
+
+ProofGeneral.menu      Menu file for some Linux versions.  
+		       Install in /usr/lib/menu.
 
 announce	       Announcement
 		       
-- 
cgit v1.2.3