link to history in the "latest release" section of the documentation

15 years ago · 7444919dce
parent 2e2e030b6b
commit 7444919dce
1 changed files with 5 additions and 0 deletions
--- a/doc/README.html
+++ b/doc/README.html
@ -151,6 +151,11 @@
        </p>
    </dd>

+    <dt>Old Releases</dt>
+    <dd>
+        <a href="#history">History</a>
+    </dd>
+
    </dl>

 <h2 id="development">Development Version</h2>