From a837dfa35584a38af5e0a1678876ee21c40374ac Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 5 Oct 2003 15:38:28 +0000
Subject: Fix more links.

---
 html/components.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html')

diff --git a/html/components.html b/html/components.html
index af48bf9c..6d6a73a2 100644
--- a/html/components.html
+++ b/html/components.html
@@ -37,7 +37,7 @@ This library was originally implemented by Healfdene Goguen.
 </p>
 <p>
 See the files for further documentation, and 
-<a href="adapting_13.html#SEC40">section 12.1</a>
+<a href="htmlshow.php?title=Proof+General+adapting+manual&file=ProofGeneral%2Fdoc%2FPG-adapting_13.html#SEC40">section 12.1</a>
 of the <a href="adaptingman">Proof General adapting manual</a>
 for more details.
 </p>
@@ -62,7 +62,7 @@ href="ProofGeneral-latest/generic/texi-docstring-magic.el">texi-docstring-magic.
 </ul> which contains documentation and usage hints.  For an extensive
 example of it's use, see the <a
 href="ProofGeneral-latest/doc/PG-adapting.texi">source</a> for the <a
-href="adapting">PG adapting manual</a>.  </p>
+href="adaptingman">PG adapting manual</a>.  </p>
 
 <hr>
 
-- 
cgit v1.2.3