diff --git a/doc/install.html b/doc/install.html index f45459ec..25622c7b 100644 --- a/doc/install.html +++ b/doc/install.html @@ -11,7 +11,7 @@