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

(limited to 'html/features.html')

diff --git a/html/features.html b/html/features.html
index ad86b3ac..cd8a999c 100644
--- a/html/features.html
+++ b/html/features.html
@@ -177,6 +177,6 @@ proof assistant to add PBP support.")  ?>
 </dl>
 <p>
 For (even) more details of the above features, see the 
-<?php link_root("doc","documentation page.") ?>
+<a href="doc">documentation page</a>.
 </p>
 
-- 
cgit v1.2.3