diff --git a/docs/installation.html b/docs/installation.html index 2153a5ab0a..41b8401f57 100644 --- a/docs/installation.html +++ b/docs/installation.html @@ -90,21 +90,43 @@