--- 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