src/Doc/ROOT

--- a/src/Doc/ROOT	Tue Oct 01 22:50:42 2013 +0200
+++ b/src/Doc/ROOT	Tue Oct 01 23:46:46 2013 +0200
@@ -53,7 +53,7 @@
     "document/style.sty"
 
 session Functions (doc) in "Functions" = HOL +
-  options [document_variants = "functions", skip_proofs = false]
+  options [document_variants = "functions", skip_proofs = false, quick_and_dirty]
   theories Functions
   files
     "../prepare_document"