diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-09-25 09:53:08 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-09-25 09:53:08 +0000 |
commit | 96356b72fc3d5486c1ad54dc30c6cf007ecae608 (patch) | |
tree | cde0fe54fad44699f8497dcb82d6af80f91b73e5 /html | |
parent | e2bd975414f958f8ff29d4723fe3856743482661 (diff) |
Fix another link
Diffstat (limited to 'html')
-rw-r--r-- | html/devel.html | 2 |
1 files changed, 1 insertions, 1 deletions
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> |