diff --git a/doc/install.html b/doc/install.html index a944ea70..886a605e 100644 --- a/doc/install.html +++ b/doc/install.html @@ -5,8 +5,6 @@