src/Pure/Thy/document_build.scala

--- a/src/Pure/Thy/document_build.scala	Sat Nov 05 12:27:53 2022 +0100
+++ b/src/Pure/Thy/document_build.scala	Sat Nov 05 12:29:22 2022 +0100
@@ -229,7 +229,7 @@
 
       isabelle_styles.foreach(Isabelle_System.copy_file(_, doc_dir))
 
-      val comment_latex = options.bool("document_comment_latex")
+      val comment_latex = latex_output.options.bool("document_comment_latex")
       if (!comment_latex) {
         Isabelle_System.copy_file(texinputs + Path.basic("comment.sty"), doc_dir)
       }