Use comment.sty in LaTeX mode by default.

2022-06-24 16:07:25 +01:00 · 2022-06-24 16:07:25 +01:00 · e138855623
parent 5582644068
commit e138855623
1 changed files with 2 additions and 1 deletions
--- a/src/scala/dof_mkroot.scala
+++ b/src/scala/dof_mkroot.scala
@ -72,7 +72,8 @@ object DOF_Mkroot
    File.write(root_path,
      "session " + Mkroot.root_name(name) + " = " + Mkroot.root_name(parent) + """ +
  options [document = pdf, document_output = "output", document_build = dof, dof_ontologies = """" 
-       + ontologies.mkString(" ") + """", dof_template = """ + Mkroot.root_name(template) + """] 
+       + ontologies.mkString(" ") + """", dof_template = """ + Mkroot.root_name(template) 
+       + """, document_comment_latex=true] 
 (*theories [document = false]
    A
    B*)