Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/mkroot
changeset 52743 a7d69a11f395
parent 48805 c3ea910b3581
child 56786 13ede133f6eb 
--- a/lib/Tools/mkroot	Sat Jul 27 21:21:47 2013 +0200
+++ b/lib/Tools/mkroot	Sat Jul 27 21:43:12 2013 +0200
@@ -89,7 +89,7 @@
 if [ "$DOC" = true ]; then
   cat > "$DIR/ROOT" <<EOF
 session "$NAME" = "$ISABELLE_LOGIC" +
-  options [document = $ISABELLE_DOC_FORMAT, document_output = "output"]
+  options [document = pdf, document_output = "output"]
   theories [document = false]
     (* Foo Bar *)
   theories
isabelle