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/develdownload.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'html/develdownload.html')

diff --git a/html/develdownload.html b/html/develdownload.html
index c8a3050e..64952d62 100644
--- a/html/develdownload.html
+++ b/html/develdownload.html
@@ -26,7 +26,7 @@ Please <a href="register.html">register</a> if you haven't done so already.
 <p>
 The manual included with the pre-release may be
 updated from that of the 
-<?php link_root("doc","last stable release") ?>.
+<a href="doc">last stable release</a>.
 </p>
 <p>
 You can see the current documentation: the user manual in
@@ -81,7 +81,7 @@ notes about work-in-progress.
 
 <p>
 For install instructions, see 
-the <?php link_root("download#install","stable version download") ?>.
+the <a href="download#install">stable version download</a>.
 </p>
 
 <p>
@@ -110,7 +110,7 @@ The complete archive also includes:
 </p>
 <ul>
   <li> the low-level developer's todo files 
-    (see <?php link_root("devel#lowleveltodo","the developers page") ?>)
+    (see <a href="devel#lowleveltodo">the developers page</a>)
    and the detailed
    <!-- WARNING!  Line below automatically edited by makefile. -->
    <?php fileshow("ProofGeneral-3.2pre000928/ChangeLog","ChangeLog"); ?>,
-- 
cgit v1.2.3