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

(limited to 'html/download.html')

diff --git a/html/download.html b/html/download.html
index 03948ac0..48934d13 100644
--- a/html/download.html
+++ b/html/download.html
@@ -61,7 +61,7 @@ One or more of the supported proof assistants.  Or write your own
 support for a new assistant.  
 <br>
 See the 
-<?php link_root("main","front page") ?> for links to supported
+<a href="main">front page</a> for links to supported
 assistants.
 </li>
 </ul>
@@ -80,7 +80,7 @@ for installation notes.
 </li>
 <!-- <li> -->
 <!-- For FSF Emacs, a version of <tt>func-menu.el</tt> to get  -->
-<!-- <?php link_root("features#funcmenu","function menus") ?>. -->
+<!-- <a href="features#funcmenu">function menus</a>. -->
 <!-- <br>Unfortunately I can't find a version of this that -->
 <!-- works with current FSF Emacs releases. I'd be grateful  -->
 <!-- for a pointer to one.   -->
@@ -129,7 +129,7 @@ and documentation (in Info and HTML formats).
 </p>
 <p>
 Documentation is available in other formats
-here <?php link_root("doc","here") ?>.  
+here <a href="doc">here</a>.  
 If you want to format the documentation yourself,
 you may like to download the
 <?php download_link("ProofGeneralPortrait.eps.gz", 
-- 
cgit v1.2.3