diff --git a/doc/download.html b/doc/download.html index 3f36740e..8b9b8339 100755 --- a/doc/download.html +++ b/doc/download.html @@ -34,10 +34,10 @@ A