From 96356b72fc3d5486c1ad54dc30c6cf007ecae608 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 25 Sep 2003 09:53:08 +0000
Subject: Fix another link

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

(limited to 'html')

diff --git a/html/devel.html b/html/devel.html
index a446a51d..38cd5481 100644
--- a/html/devel.html
+++ b/html/devel.html
@@ -60,7 +60,7 @@ Take a look at some Proof General <a href="projects.html">project proposals</a>.
 <li>
 Read the 
 developer's 
-<?php fileshow("ProofGeneral-3.5pre030926/README.devel","README file"); ?>, 
+<?php fileshow("ProofGeneral-3.5pre030926/etc/README.devel","README file"); ?>, 
 with development hints and tips.
 </li>
 </ul>
-- 
cgit v1.2.3