--- 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