From f7463464b18570417c3bb2af8bedb0c36d28e0b8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 14:16:22 +0000
Subject: Updated.

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

(limited to 'etc')

diff --git a/etc/README b/etc/README
index 2e88cdf6..6d51213e 100644
--- a/etc/README
+++ b/etc/README
@@ -7,6 +7,9 @@ ProofGeneral.spec      For building the Proof General RPM.
 ProofGeneral.menu      Menu file for some Linux versions.  
 		       Install in /usr/lib/menu.
 
+ProofGeneral.desktop   Menu file for some Linux versions.  
+		       Install in /etc/X11/applnk/Applications/
+
 announce	       Announcement
 		       
 lego		       Files for testing LEGO Proof General
@@ -26,6 +29,10 @@ cvs-tips.txt	       Notes on  cvs with PG project
 debugging-tips.txt     Notes on  debugging
 profiling.txt			 profiling
 
-testing-log.txt	       Notes on tests carried out
+release-log.txt	        A record of official releases 
+
+testing-log.txt	        Notes on testing 
+test-schedule.txt
+TESTS
+
 
-release-log.txt	       A record of official releases 
\ No newline at end of file
-- 
cgit v1.2.3