path: root/doc/
diff options
Diffstat (limited to 'doc/')
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ b/doc/
index e22a110ca..57bfbc895 100644
--- a/doc/
+++ b/doc/
@@ -254,7 +254,7 @@ Options
This means, that the output for each individual make target and each
build stage is grouped together.
- Note: If output synchronization enabled then the output for each build
+ Note: If output synchronization is enabled then the output for each build
stage is collected by make and won't be visible until the build stage is
completed. As a result, there will be long periods of time with no
visible progress.