From 29d157d645953cd801f22ece61e52a4caabf4b24 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 13 Sep 2001 16:57:03 +0000
Subject: Link uref nicely

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

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 5f3ddcfa..08bb5b37 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -1820,7 +1820,7 @@ output format.
 
 The goals buffer settings allow configuration of Proof General for proof
 by pointing or similar features.
-See the Proof General documentation page (@uref{http://www.proofgeneral.org/doc})
+See the Proof General @uref{http://www.proofgeneral.org/doc, documentation web page}
 for a link to the technical report ECS-LFCS-97-368 which hints
 at how to use these settings.
 
-- 
cgit v1.2.3