diff --git a/doc/install.html b/doc/install.html index 8a1302f3e..cdba8cb20 100644 --- a/doc/install.html +++ b/doc/install.html @@ -14,7 +14,7 @@