maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
ignore $ISABELLE_JAVA_EXT -- do not change java.ext.dirs;
#!/usr/bin/env bash
#
# Author: Markus Wenzel, TU Muenchen
#
# DESCRIPTION: view Isabelle documentation
PRG="$(basename "$0")"
function usage()
{
echo
echo "Usage: isabelle $PRG [DOC ...]"
echo
echo " View Isabelle documentation."
echo
exit 1
}
function fail()
{
echo "$1" >&2
exit 2
}
## args
[ "$#" -eq 1 -a "$1" = "-?" ] && usage
## main
isabelle_admin_build jars || exit $?
"$ISABELLE_TOOL" java isabelle.Doc "$@"