--- a/src/Pure/ROOT	Tue Nov 23 20:46:40 2021 +0100
+++ b/src/Pure/ROOT	Tue Nov 23 21:02:13 2021 +0100
@@ -26,11 +26,16 @@
   description "
     Miscellaneous examples and experiments for Isabelle/Pure.
   "
+  options [document_heading_prefix = ""]
   sessions
     "Pure-Examples"
-  theories
+  theories [document = false]
     Def
     Def_Examples
     Guess
     Guess_Examples
-
+  theories
+    Alternative_Headings
+    Alternative_Headings_Examples
+  document_files
+    "root.tex"