updated mkroot;
authorwenzelm
Tue Apr 29 15:35:40 2014 +0200 (2014-04-29)
changeset 5678613ede133f6eb
parent 56785 df03bf8c36a1
child 56787 81dc6fffdf30
updated mkroot;
lib/Tools/mkroot
     1.1 --- a/lib/Tools/mkroot	Tue Apr 29 15:24:41 2014 +0200
     1.2 +++ b/lib/Tools/mkroot	Tue Apr 29 15:35:40 2014 +0200
     1.3 @@ -91,17 +91,21 @@
     1.4  session "$NAME" = "$ISABELLE_LOGIC" +
     1.5    options [document = pdf, document_output = "output"]
     1.6    theories [document = false]
     1.7 -    (* Foo Bar *)
     1.8 +    (* Foo *)
     1.9 +    (* Bar *)
    1.10    theories
    1.11      (* Baz *)
    1.12 -  files "document/root.tex"
    1.13 +  document_files
    1.14 +    "root.tex"
    1.15  EOF
    1.16  else
    1.17    cat > "$DIR/ROOT" <<EOF
    1.18  session "$NAME" = "$ISABELLE_LOGIC" +
    1.19    options [document = false]
    1.20    theories
    1.21 -    (* Foo Bar Baz *)
    1.22 +    (* Foo *)
    1.23 +    (* Bar *)
    1.24 +    (* Baz *)
    1.25  EOF
    1.26  fi
    1.27