diff --git a/docs/users_guide/7.8.1-notes.xml b/docs/users_guide/7.8.1-notes.xml index 80e2293f16e1b5d20c7c4f499b84bb0810f8a541..0027d5f7d40fb36abffd4f3064a90ddee741f04b 100644 --- a/docs/users_guide/7.8.1-notes.xml +++ b/docs/users_guide/7.8.1-notes.xml @@ -178,7 +178,7 @@ - GHC now has a parallel compilataion driver. When + GHC now has a parallel compilation driver. When compiling with --make (which is on by default,) you may also specify -jN in order to compile