diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/main.phtml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/html/main.phtml b/html/main.phtml index 545d108a..5eafc41f 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -106,7 +106,8 @@ made available in our developers release. <p> To read more about what features Proof General -provides, <a href="features.phtml">click here</a>. +provides, +<?php link_root("features","click here") ?>. <br> To see what Proof General looks like in use, have a look at these <a href="screenshot.phtml">screenshots</a>. |