diff -r 8be091776e93 -r 5a4bcf466156 doc-src/ROOT
--- a/doc-src/ROOT	Tue Aug 28 16:18:23 2012 +0200
+++ b/doc-src/ROOT	Tue Aug 28 16:43:47 2012 +0200
@@ -3,6 +3,7 @@
   theories [document = false] Setup
   theories Classes
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "document/build"
     "document/root.tex"
@@ -20,6 +21,7 @@
     Adaptation
     Further
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "document/adapt.tex"
     "document/architecture.tex"
@@ -31,6 +33,7 @@
   options [document_variants = "functions"]
   theories Functions
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
@@ -47,6 +50,7 @@
   options [document_variants = "intro"]
   theories
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
@@ -70,6 +74,7 @@
     Syntax
     Tactic
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
@@ -101,6 +106,7 @@
     Symbols
     ML_Tactic
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
@@ -123,6 +129,7 @@
     "~~/src/HOL/Library/OptionalSugar"
   theories Sugar
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "document/build"
     "document/mathpartir.sty"
@@ -136,6 +143,7 @@
     Examples2
     Examples3
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "document/build"
     "document/root.tex"
@@ -144,6 +152,7 @@
   options [document_variants = "logics"]
   theories
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
@@ -157,6 +166,7 @@
   options [document_variants = "logics-HOL"]
   theories
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
@@ -177,6 +187,7 @@
     If
     ZF_Isar
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../isar.sty"
     "../ttbox.sty"
@@ -190,6 +201,7 @@
   options [document_variants = "main"]
   theories Main_Doc
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "document/build"
     "document/root.tex"
@@ -198,6 +210,7 @@
   options [document_variants = "nitpick"]
   theories
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../manual.bib"
@@ -214,6 +227,7 @@
     Logic
     Isar
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "document/bang.eps"
     "document/bang.pdf"
@@ -229,6 +243,7 @@
   options [document_variants = "ref"]
   theories
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
@@ -248,6 +263,7 @@
   options [document_variants = "sledgehammer"]
   theories
   files
+    "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"
     "../manual.bib"
@@ -264,6 +280,7 @@
     Scala
     Misc
   files
+    "../prepare_document"
     "../IsarRef/document/style.sty"
     "../pdfsetup.sty"
     "../iman.sty"