src/Doc/ROOT
changeset 53618 4161d2b96b8c
parent 53617 da5e1887d7a7
child 53769 036e80175bdd
     1.1 --- a/src/Doc/ROOT	Fri Sep 13 16:29:39 2013 +0200
     1.2 +++ b/src/Doc/ROOT	Fri Sep 13 16:30:16 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", document_output = "/tmp/isa-output"]
     1.8 +  options [document_variants = "datatypes"]
     1.9    theories [document = false] Setup
    1.10    theories Datatypes
    1.11    files