1.1 --- a/Admin/lib/Tools/makedist	Wed Jan 09 15:48:34 2013 +0100
     1.2 +++ b/Admin/lib/Tools/makedist	Wed Jan 09 17:04:59 2013 +0100
     1.3 @@ -32,7 +32,7 @@
     1.4    echo "  VERSION identifies the snapshot, using usual Mercurial terminology;"
     1.5    echo "  the default is RELEASE if given, otherwise \"tip\"."
     1.6    echo
     1.7 -  echo "  Auxiliary components are that of the running Isabelle version!"
     1.8 +  echo "  Add-on components are that of the running Isabelle version!"
     1.9    echo
    1.10    exit 1
    1.11  }
    1.12 @@ -178,7 +178,7 @@
    1.13  fi
    1.14  
    1.15  cp -a src/Doc src/Doc.orig
    1.16 -./bin/isabelle env ./bin/isabelle build_doc -a || fail "Failed to build documentation"
    1.17 +./bin/isabelle env ./bin/isabelle build_doc $JOBS -a || fail "Failed to build documentation"
    1.18  rm -rf src/Doc
    1.19  mv src/Doc.orig src/Doc
    1.20