diff --git a/docs/manual/install.html b/docs/manual/install.html index 7e3b8b7af..cf7265108 100644 --- a/docs/manual/install.html +++ b/docs/manual/install.html @@ -317,14 +317,14 @@ this.