lib/Tools/mkroot
changeset 52743 a7d69a11f395
parent 48805 c3ea910b3581
child 56786 13ede133f6eb
     1.1 --- a/lib/Tools/mkroot	Sat Jul 27 21:21:47 2013 +0200
     1.2 +++ b/lib/Tools/mkroot	Sat Jul 27 21:43:12 2013 +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, document_output = "output"]
     1.8 +  options [document = pdf, document_output = "output"]
     1.9    theories [document = false]
    1.10      (* Foo Bar *)
    1.11    theories