diff --git a/DOCS/xml/en/install.xml b/DOCS/xml/en/install.xml index 3eaa3f136d..fd297a8757 100644 --- a/DOCS/xml/en/install.xml +++ b/DOCS/xml/en/install.xml @@ -646,7 +646,7 @@ you have to pass the option