# HG changeset patch
# User wenzelm
# Date 1398778540 -7200
# Node ID 13ede133f6eb57faaff2b5ba781f09f413e46d43
# Parent  df03bf8c36a1f7fd044d5d90d7f7faa62a6392b4
updated mkroot;

diff -r df03bf8c36a1 -r 13ede133f6eb lib/Tools/mkroot
--- a/lib/Tools/mkroot	Tue Apr 29 15:24:41 2014 +0200
+++ b/lib/Tools/mkroot	Tue Apr 29 15:35:40 2014 +0200
@@ -91,17 +91,21 @@
 session "$NAME" = "$ISABELLE_LOGIC" +
   options [document = pdf, document_output = "output"]
   theories [document = false]
-    (* Foo Bar *)
+    (* Foo *)
+    (* Bar *)
   theories
     (* Baz *)
-  files "document/root.tex"
+  document_files
+    "root.tex"
 EOF
 else
   cat > "$DIR/ROOT" <<EOF
 session "$NAME" = "$ISABELLE_LOGIC" +
   options [document = false]
   theories
-    (* Foo Bar Baz *)
+    (* Foo *)
+    (* Bar *)
+    (* Baz *)
 EOF
 fi