diff --git a/thys/Word_Lib/ROOT b/thys/Word_Lib/ROOT
--- a/thys/Word_Lib/ROOT
+++ b/thys/Word_Lib/ROOT
@@ -1,19 +1,34 @@
 chapter AFP
 
 session Word_Lib (AFP) = HOL +
   options [timeout = 300]
   sessions
     "HOL-Library"
     "HOL-Eisbach"
-  theories [document=false]
+  theories [document = false] \<comment> \<open>Attempt to just generated word-specific document material\<close>
+    Enumeration
+    Even_More_List
+    Legacy_Aliases
     More_Arithmetic
-    Even_More_List
-    More_Sublist
+    More_Divides
     More_Misc
+    More_Sublist
     Strict_part_mono
+  theories
+    Bits_Int
+    Bit_Comprehension
+    More_Word
+    Bit_Shifts_Infix_Syntax
+    Next_and_Prev
+    Signed_Division_Word
+  theories [document = false]
     Many_More
+    Singleton_Bit_Shifts
+    Typedef_Morphisms
+  theories
+    Bitwise
+    Guide
+  theories [document = false]
     Examples
-  theories
-    Guide
   document_files
     "root.tex"