comment fix

diff --git a/Makefile b/Makefile
index eb70d159f1431f81dc60ebb2539bbfa1b3229908..13c700e90ec6e9613346a8c171d585fb2ddee6d8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -22,7 +22,7 @@ PKG_DESTDIR_SUPPORT=  user-destdir
 
 # Unregisterised HC packages are platform-dependent C sources. Yes,
 # they are C sources but are totally non-portable. We have to create
 
 # Unregisterised HC packages are platform-dependent C sources. Yes,
 # they are C sources but are totally non-portable. We have to create

-# more HC packages to support more platforms. Note that these packages
+# more HC packages to support more platforms. Note that those packages

 # are built with integer-simple, not integer-gmp, to reduce some
 # complexity by not depending on the GMP. The resulting registerised
 # GHC uses integer-gmp so this won't be a problem.
 # are built with integer-simple, not integer-gmp, to reduce some
 # complexity by not depending on the GMP. The resulting registerised
 # GHC uses integer-gmp so this won't be a problem.