diff --git a/doc/install.html b/doc/install.html index 8f2796e7..6a9a2c9f 100644 --- a/doc/install.html +++ b/doc/install.html @@ -105,7 +105,7 @@ operating systems, CPUs and compilers: