diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml index 95f6cc834d6..f3785b63661 100644 --- a/doc/src/sgml/installation.sgml +++ b/doc/src/sgml/installation.sgml @@ -2737,7 +2737,7 @@ ninja install - + Setting this option allows you to override the value of all