diff --git a/doc/html/download.html b/doc/html/download.html index 2075e452..9e7e21bc 100644 --- a/doc/html/download.html +++ b/doc/html/download.html @@ -65,7 +65,7 @@ Linux