# HG changeset patch
# User wenzelm
# Date 1357747499 -3600
# Node ID e988d44e04d7b9f9a842db3e8e0713a55c147654
# Parent  cbc7002cc2736848716391df064349e850b3fa9a
tuned;

diff -r cbc7002cc273 -r e988d44e04d7 Admin/lib/Tools/makedist
--- a/Admin/lib/Tools/makedist	Wed Jan 09 15:48:34 2013 +0100
+++ b/Admin/lib/Tools/makedist	Wed Jan 09 17:04:59 2013 +0100
@@ -32,7 +32,7 @@
   echo "  VERSION identifies the snapshot, using usual Mercurial terminology;"
   echo "  the default is RELEASE if given, otherwise \"tip\"."
   echo
-  echo "  Auxiliary components are that of the running Isabelle version!"
+  echo "  Add-on components are that of the running Isabelle version!"
   echo
   exit 1
 }
@@ -178,7 +178,7 @@
 fi
 
 cp -a src/Doc src/Doc.orig
-./bin/isabelle env ./bin/isabelle build_doc -a || fail "Failed to build documentation"
+./bin/isabelle env ./bin/isabelle build_doc $JOBS -a || fail "Failed to build documentation"
 rm -rf src/Doc
 mv src/Doc.orig src/Doc