diff -r ff37dc246b10 -r da5e1887d7a7 src/Doc/ROOT
--- a/src/Doc/ROOT	Tue Aug 20 17:34:11 2013 +0900
+++ b/src/Doc/ROOT	Fri Sep 13 16:29:39 2013 +0200
@@ -38,7 +38,7 @@
     "document/style.sty"
 
 session Datatypes (doc) in "Datatypes" = "HOL-BNF" +
-  options [document_variants = "datatypes"]
+  options [document_variants = "datatypes", document_output = "/tmp/isa-output"]
   theories [document = false] Setup
   theories Datatypes
   files