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/doc.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'html/doc.html')

diff --git a/html/doc.html b/html/doc.html
index 5ad6b433..478bf88d 100644
--- a/html/doc.html
+++ b/html/doc.html
@@ -12,7 +12,7 @@ For printing you can download the
 
 <p>
 The manual (in HTML and Info formats), as well as other documentation,
-is included in the <?php link_root("download","download.") ?> When
+is included in the <a href="download">download</a>. When
 running Proof General the manual is available from the "Proof General"
 menu.  It should also appear in the system Info pages.
 </p>
@@ -85,4 +85,3 @@ list</a>.
       HREF="http://www.inria.fr/RRRT/RR-3286.html">RR-3286</a>
   </li>
 </ul>
-
-- 
cgit v1.2.3