From 1b5a27429b99858f028ee70c5becafebcc4348bf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 14:18:12 +0000
Subject: Updated.

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

diff --git a/etc/README b/etc/README
index 6d51213e..ef036736 100644
--- a/etc/README
+++ b/etc/README
@@ -1,5 +1,5 @@
-Files in this directory  (not all part of standard distribution - some only in devel)
-=====================================================================================
+Files in the PG/etc directory  (NB: some only in devel distrib)
+===============================================================
 
 ProofGeneral.spec      For building the Proof General RPM.
 		       Use "rpm -tb" to build from tarball.
-- 
cgit v1.2.3