diff --git a/doc/src/overview.xml b/doc/src/overview.xml index da128efb9..1c2310b96 100644 --- a/doc/src/overview.xml +++ b/doc/src/overview.xml @@ -728,7 +728,7 @@ b2 toolset=gcc variant=debug optimization=space - Do no execute the commands, only print them. + Do not execute the commands, only print them.