src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sat Nov 28 16:25:29 2020 +0100
+++ b/src/Pure/ROOT.ML	Sat Nov 28 17:38:03 2020 +0100
@@ -349,6 +349,7 @@
 ML_file "Tools/simplifier_trace.ML";
 ML_file_no_debug "Tools/debugger.ML";
 ML_file "Tools/named_theorems.ML";
+ML_file "Tools/doc.ML";
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML"