aboutsummaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
authorDavid Aspinall2001-05-01 14:21:21 +0000
committerDavid Aspinall2001-05-01 14:21:21 +0000
commitb1137eb56855ecfb808208947626dc323d8ab7a5 (patch)
tree249b1cb8753ed159656ec984065ccbf8fc675f32 /html
parentf4112b021f46d002aec8955a8212c6a98cba05b3 (diff)
Change link to register page
Diffstat (limited to 'html')
-rw-r--r--html/download.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/html/download.html b/html/download.html
index fe45d416..14d7e443 100644
--- a/html/download.html
+++ b/html/download.html
@@ -1,7 +1,7 @@
<h2>Please register</h2>
<p>
Before downloading Proof General, <i>please</i>
-<a href="register.html">register</a>.
+<a href="register">register</a>.
It's free, it only takes a moment.
If you have already registered you do not need to do so again.
</p>