From 5a8c438c4152c057cc9efa4ae7e2c065110d42c4 Mon Sep 17 00:00:00 2001 From: Makarius Date: Thu, 1 Dec 2022 16:48:33 +0100 Subject: [PATCH] Omit excessive quotes --- src/scala/dof_mkroot.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/scala/dof_mkroot.scala b/src/scala/dof_mkroot.scala index e224e48..c0c78f4 100644 --- a/src/scala/dof_mkroot.scala +++ b/src/scala/dof_mkroot.scala @@ -67,8 +67,8 @@ object DOF_Mkroot File.write(root_path, "session " + Mkroot.root_name(name) + " = " + Mkroot.root_name(DOF.session) + """ + - options [document = pdf, document_output = "output", document_build = dof, dof_ontologies = """" - + quote(DOF.implode_ontologies(ontologies)) + """", dof_template = """ + quote(template) + options [document = pdf, document_output = "output", document_build = dof, dof_ontologies = """ + + quote(DOF.implode_ontologies(ontologies)) + """, dof_template = """ + quote(template) + """, document_comment_latex = true] (*theories [document = false] A