From 813d75c12f0624895ad9df8701ed72be1fca616b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 15 Dec 2010 22:47:18 +0000
Subject: Updated

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

diff --git a/etc/README b/etc/README
index dc5d7f9e..1b1b0f3f 100644
--- a/etc/README
+++ b/etc/README
@@ -1,6 +1,9 @@
 Files in the PG/etc directory
 =============================
 
+Files in this directory are auxiliary documentation and test files,
+not needed for a running Proof General installation.
+
 README                 this file
 
 ProofGeneral.spec      Sample specfile for building the Proof General RPM.
@@ -24,7 +27,9 @@ cvs-tips.txt	       Notes on  cvs with PG project
 development-tips.txt   Notes on  development
 profiling.txt			 profiling
 
-testsuite/	       Test suites (replaced by generic/pg-autotest)
-trac/		       Test cases for reported bugs to check regression
+proviola/	       See README therein.
 
+testsuite/	       Test suites (replaced by generic/pg-autotest)
 
+trac/		       Test cases for reported bugs to check 
+		       regression (manually)
-- 
cgit v1.2.3