diff --git a/doc/html/download.html b/doc/html/download.html index 6c0bdd4a..9b274ad2 100644 --- a/doc/html/download.html +++ b/doc/html/download.html @@ -193,7 +193,7 @@ Windows