src/Doc/ROOT
changeset 53617 da5e1887d7a7
parent 53544 2176a7e40786
child 53618 4161d2b96b8c
     1.1 --- a/src/Doc/ROOT	Tue Aug 20 17:34:11 2013 +0900
     1.2 +++ b/src/Doc/ROOT	Fri Sep 13 16:29:39 2013 +0200
     1.3 @@ -38,7 +38,7 @@
     1.4      "document/style.sty"
     1.5  
     1.6  session Datatypes (doc) in "Datatypes" = "HOL-BNF" +
     1.7 -  options [document_variants = "datatypes"]
     1.8 +  options [document_variants = "datatypes", document_output = "/tmp/isa-output"]
     1.9    theories [document = false] Setup
    1.10    theories Datatypes
    1.11    files