Doc of spec and menu, patch now removed

1 files 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