From e3d572318bd40aadd46d2e6a6a543f02afd47f33 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 13 Sep 2001 13:44:53 +0000
Subject: Try to fix PHP/html nonsense, by disabling SSI and enabling php for
 .html files

---
 html/doc.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/doc.html')

diff --git a/html/doc.html b/html/doc.html
index ccdfab58..3f092ade 100644
--- a/html/doc.html
+++ b/html/doc.html
@@ -98,7 +98,7 @@ list</a>.
       HREF="http://www.dcs.ed.ac.uk/home/djs">Dilip Sequeira</a>.
     <I>Implementing Proof by Pointing without a Structure Editor</I>.
     LFCS Technical Report <A
-    HREF="http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/97/ECS-LFCS-97-368/index.html">ECS-LFCS-97-368</a>.
+    HREF="http://www.lfcs.informatics.ed.ac.uk/reports/97/ECS-LFCS-97-368/index.html">ECS-LFCS-97-368</a>.
     Also published as Rapport de recherche de l'INRIA
     <A HREF="http://www.inria.fr/Unites/SOPHIA-eng.html"> Sophia
       Antipolis</a> <A
-- 
cgit v1.2.3