diff --git a/doc/html/download.html b/doc/html/download.html index 4d4b0856..082150f5 100644 --- a/doc/html/download.html +++ b/doc/html/download.html @@ -76,7 +76,7 @@