diff -r cd266473b81b -r b5783412bfed Admin/lib/Tools/build_doc
--- a/Admin/lib/Tools/build_doc	Thu Mar 10 12:11:50 2016 +0100
+++ b/Admin/lib/Tools/build_doc	Thu Mar 10 17:30:04 2016 +0100
@@ -18,4 +18,4 @@
 
 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)"
 
-"$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Build_Doc "$@"
+isabelle java "${JAVA_ARGS[@]}" isabelle.Build_Doc "$@"