From 0343b2b7187a599d2373e92e00d5e8ad7da91c3f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 17:47:34 +0000
Subject: Remove messy link_root links.

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

(limited to 'html/about.html')

diff --git a/html/about.html b/html/about.html
index ab04202e..7cc7e8af 100644
--- a/html/about.html
+++ b/html/about.html
@@ -9,8 +9,8 @@ proof-by-pointing and script management were added to LEGO mode, and
 the code was made generic.  The generic basis was developed by
 Thomas Kleymann, Dilip Sequeira, Healfdene Goguen and David Aspinall.
 The current authors and maintainers of the various instantiations of
-Proof General are mentioned on the <?php link_root("main","front
-page.") ?>
+Proof General are mentioned on the 
+<a href="main.html">front page.</a>.
 </p>
 <p> 
 The Proof General project was coordinated until October 1998 by
-- 
cgit v1.2.3