lib/Tools/mkroot
changeset 48805 c3ea910b3581
parent 48739 3a6c03b15916
child 52743 a7d69a11f395
     1.1 --- a/lib/Tools/mkroot	Tue Aug 14 13:40:49 2012 +0200
     1.2 +++ b/lib/Tools/mkroot	Tue Aug 14 15:42:58 2012 +0200
     1.3 @@ -89,7 +89,7 @@
     1.4  if [ "$DOC" = true ]; then
     1.5    cat > "$DIR/ROOT" <<EOF
     1.6  session "$NAME" = "$ISABELLE_LOGIC" +
     1.7 -  options [document = $ISABELLE_DOC_FORMAT]
     1.8 +  options [document = $ISABELLE_DOC_FORMAT, document_output = "output"]
     1.9    theories [document = false]
    1.10      (* Foo Bar *)
    1.11    theories
    1.12 @@ -192,7 +192,7 @@
    1.13  
    1.14  Now use the following command line to build the session:
    1.15  
    1.16 -  isabelle build -v $OPT_DIR
    1.17 +  isabelle build $OPT_DIR
    1.18  
    1.19  EOF
    1.20