Admin/build

 
     all             all modules below *except* doc-src
     browser         graph browser (requires jdk)
     doc             documentation (requires latex and rail)
     doc-src         documentation sources from Isabelle theories
-    jars            Isabelle/Scala layer (requires Scala in \$SCALA_HOME)
+    jars            Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME)
     jars_fresh      fresh build of jars
 
 EOF
   exit 1
 }