lib/Tools/mkroot

 echo "  creating $DIR/ROOT"
 
 if [ "$DOC" = true ]; then
   cat > "$DIR/ROOT" <<EOF
 session "$NAME" = "$ISABELLE_LOGIC" +
-  options [document = $ISABELLE_DOC_FORMAT]
+  options [document = $ISABELLE_DOC_FORMAT, document_output = "output"]
   theories [document = false]
     (* Foo Bar *)
   theories
     (* Baz *)
   files "document/root.tex"

 
 cat <<EOF
 
 Now use the following command line to build the session:
 
-  isabelle build -v $OPT_DIR
+  isabelle build $OPT_DIR
 
 EOF