From 8c2a3169e10622db9ae0c595174b78f57a665286 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 19:55:43 +0000
Subject: Changed doc link

---
 etc/announce | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/announce b/etc/announce
index fd2b6d2c..88368ca8 100644
--- a/etc/announce
+++ b/etc/announce
@@ -62,7 +62,7 @@ Summary of changes since 2.1:
   http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/CHANGES
 
 The user manual contains full details, and is available on-line at: 
-http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/doc/ProofGeneral_toc.html
+http://zermelo.dcs.ed.ac.uk/~proofgen/index.phtml?page=doc
 
 Proof General needs a recent version of Emacs to run with, and it much
 prefers XEmacs to FSF GNU Emacs.  Proof General 3.0 has been tested
-- 
cgit v1.2.3