diff --git a/doc/install.html b/doc/install.html index dd3c656b..768849e8 100644 --- a/doc/install.html +++ b/doc/install.html @@ -6,9 +6,9 @@