diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml index 7a326543d8..0922e62b95 100644 --- a/documentation/dev-manual/dev-manual-common-tasks.xml +++ b/documentation/dev-manual/dev-manual-common-tasks.xml @@ -2206,7 +2206,7 @@ For information on parallel Makefile issues, see the - "Debugging Parallel Make Rases" + "Debugging Parallel Make Races" section. Improper host path usage: