From 0cc2613baffce2a17490fb84f8106b2b54ebc288 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Feb 2004 17:27:34 +0000
Subject: Fix link

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 3bd5245b..1e072331 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -4019,7 +4019,7 @@ the @file{coq} directory in the Proof General home directory.
 This appendix has been removed.
 
 Please consult the file
-@uref{http://proofgeneral.inf.ed.ac.uk/ProofGeneral/BUGS,@file{BUGS}} in the
+@uref{http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-latest/BUGS,@file{BUGS}} in the
 distribution for an up-to-date description of bugs and other issues.
 
 If you discover a problem which isn't mentioned in @file{BUGS}, please
-- 
cgit v1.2.3