diff options
| author | David Aspinall | 2000-09-29 17:47:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-29 17:47:34 +0000 |
| commit | 0343b2b7187a599d2373e92e00d5e8ad7da91c3f (patch) | |
| tree | f2a8ed42df461e6cd9171a5bce55792172cea98f /html/develdownload.html | |
| parent | 4e2c1e49359fdc4f1dbb0fe31b182c6d8e09eaae (diff) | |
Remove messy link_root links.
Diffstat (limited to 'html/develdownload.html')
| -rw-r--r-- | html/develdownload.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html/develdownload.html b/html/develdownload.html index c8a3050e..64952d62 100644 --- a/html/develdownload.html +++ b/html/develdownload.html @@ -26,7 +26,7 @@ Please <a href="register.html">register</a> if you haven't done so already. <p> The manual included with the pre-release may be updated from that of the -<?php link_root("doc","last stable release") ?>. +<a href="doc">last stable release</a>. </p> <p> You can see the current documentation: the user manual in @@ -81,7 +81,7 @@ notes about work-in-progress. <p> For install instructions, see -the <?php link_root("download#install","stable version download") ?>. +the <a href="download#install">stable version download</a>. </p> <p> @@ -110,7 +110,7 @@ The complete archive also includes: </p> <ul> <li> the low-level developer's todo files - (see <?php link_root("devel#lowleveltodo","the developers page") ?>) + (see <a href="devel#lowleveltodo">the developers page</a>) and the detailed <!-- WARNING! Line below automatically edited by makefile. --> <?php fileshow("ProofGeneral-3.2pre000928/ChangeLog","ChangeLog"); ?>, |