src/HOL/ROOT

--- a/src/HOL/ROOT	Sat Mar 30 01:12:48 2024 +0100
+++ b/src/HOL/ROOT	Fri Mar 29 19:28:59 2024 +0100
@@ -148,6 +148,9 @@
     Computational_Algebra
     (*conflicting type class instantiations and dependent applications*)
     Field_as_Ring
+  document_files
+    "root.tex"
+    "root.bib"
 
 session "HOL-Real_Asymp" in Real_Asymp = HOL +
   sessions