diff --git a/doc/html/download.html b/doc/html/download.html index 8580ec7a..e863a451 100644 --- a/doc/html/download.html +++ b/doc/html/download.html @@ -157,6 +157,7 @@ Windows