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