src/Doc/ROOT
changeset 53542 14000a283ce0
parent 53376 1d4a46f1fced
child 53544 2176a7e40786
     1.1 --- a/src/Doc/ROOT	Wed Sep 11 16:16:45 2013 +0200
     1.2 +++ b/src/Doc/ROOT	Wed Sep 11 16:55:01 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