1 files changed, 0 insertions, 1 deletions

diff --git a/doc/index.html b/doc/index.html
index 06369a7..f740d91 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -237,7 +237,6 @@ still available for those that have compatibility issues.
 <hr>
 <center>
 <p class=bar>
-<a href="home.html#down">download</a> &middot;
 <a href="home.html#download">download</a> &middot;
 <a href="installation.html">installation</a> &middot;
 <a href="introduction.html">introduction</a> &middot;