diff --git a/docs/install.html b/docs/install.html index 4e3d0e4979b..83c5ebfb115 100644 --- a/docs/install.html +++ b/docs/install.html @@ -37,9 +37,9 @@

Build system