From 7de0e72d09b9c2c53425ba3d13e4c7b33e536d14 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 Sep 2003 09:54:48 +0000
Subject: Fix another link.

---
 html/components.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/components.html')

diff --git a/html/components.html b/html/components.html
index 7d2b10e9..af48bf9c 100644
--- a/html/components.html
+++ b/html/components.html
@@ -38,7 +38,7 @@ This library was originally implemented by Healfdene Goguen.
 <p>
 See the files for further documentation, and 
 <a href="adapting_13.html#SEC40">section 12.1</a>
-of the <a href="adapting">Proof General adapting manual</a>
+of the <a href="adaptingman">Proof General adapting manual</a>
 for more details.
 </p>
 
-- 
cgit v1.2.3