src/Doc/ROOT

--- a/src/Doc/ROOT	Thu Aug 01 00:18:45 2013 +0200
+++ b/src/Doc/ROOT	Thu Aug 01 14:22:10 2013 +0200
@@ -39,6 +39,7 @@
 
 session Datatypes (doc) in "Datatypes" = "HOL-BNF" +
   options [document_variants = "datatypes"]
+  theories [document = false] Setup
   theories Datatypes
   files
     "../prepare_document"