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