diff -r 6348e5fca42e -r c3ea910b3581 lib/Tools/mkroot
--- a/lib/Tools/mkroot	Tue Aug 14 13:40:49 2012 +0200
+++ b/lib/Tools/mkroot	Tue Aug 14 15:42:58 2012 +0200
@@ -89,7 +89,7 @@
 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
@@ -192,7 +192,7 @@
 
 Now use the following command line to build the session:
 
-  isabelle build -v $OPT_DIR
+  isabelle build $OPT_DIR
 
 EOF