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