2 files changed, 1 insertions, 6 deletions
diff --git a/README.md b/README.md
index 87601b3d83..3b3a66ee8d 100644
--- a/README.md
+++ b/README.md
@@ -62,14 +62,9 @@ dblatex.
 
     $ perl boot
     $ ./configure
-    $ make         # can also say 'make -jX' for X number of jobs
+    $ make
     $ make install
 
-(NB: **Do you have multiple cores? Be sure to tell that to `make`!** This can
-save you hours of build time depending on your system configuration, and is
-almost always a win regardless of how many cores you have. As a simple rule,
-you should have about `N`+1 jobs, where `N` is the amount of cores you have.)
-
 The `perl boot` step is only necessary if this is a tree checked out
 from git.  For source distributions downloaded from [GHC's web site] [1],
 this step has already been performed.
diff --git a/libraries/Cabal b/libraries/Cabal
-Subproject 09289c0e1f3eb667aa30f6d4189e19186f43311
+Subproject 14c5a3f78c00772cf54c2fd5c920a64d53e6f59