diff options
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> |