diff -r 6ddbb74a52c9 -r c7a57fc47220 src/Doc/ROOT
--- a/src/Doc/ROOT	Wed May 19 16:44:40 2021 +0200
+++ b/src/Doc/ROOT	Wed May 19 18:22:56 2021 +0200
@@ -124,7 +124,6 @@
   options [document_logo = "_", document_bibliography, document_build = "build",
     document_variants = "intro"]
   document_files (in "..")
-    "prepare_document"
     "pdfsetup.sty"
     "iman.sty"
     "extra.sty"
@@ -262,18 +261,18 @@
   options [document_logo = "_", document_bibliography, document_build = "build",
     document_variants = "logics"]
   document_files (in "..")
-    "prepare_document"
     "pdfsetup.sty"
     "iman.sty"
     "extra.sty"
     "ttbox.sty"
     "manual.bib"
+  document_files (in "../Intro/document")
+    "build"
   document_files
     "CTT.tex"
     "HOL.tex"
     "LK.tex"
     "Sequents.tex"
-    "build"
     "preface.tex"
     "root.tex"
     "syntax.tex"
@@ -290,17 +289,17 @@
     If
     ZF_Isar
   document_files (in "..")
-    "prepare_document"
     "pdfsetup.sty"
     "isar.sty"
     "ttbox.sty"
     "manual.bib"
+  document_files (in "../Intro/document")
+    "build"
   document_files (in "../Logics/document")
     "syntax.tex"
   document_files
     "FOL.tex"
     "ZF.tex"
-    "build"
     "logics.sty"
     "root.tex"