diff -r f0d87c6b7a2e -r fbf60999dc31 doc-src/ROOT
--- a/doc-src/ROOT	Mon Aug 27 20:19:09 2012 +0200
+++ b/doc-src/ROOT	Mon Aug 27 20:50:10 2012 +0200
@@ -48,6 +48,18 @@
     "document/root.tex"
     "document/style.sty"
 
+session Intro (doc) in "Intro" = Pure +
+  options [document_variants = "intro"]
+  theories
+  files
+    "../iman.sty"
+    "../extra.sty"
+    "../ttbox.sty"
+    "../proof.sty"
+    "../manual.bib"
+    "document/build"
+    "document/root.tex"
+
 session "HOL-IsarRef" (doc) in "IsarRef/Thy" = HOL +
   options [browser_info = false, document = false,
     document_dump = document, document_dump_mode = "tex",