From 516f5d2f79e94c2cffbaaac253820276f5a3f755 Mon Sep 17 00:00:00 2001 From: Makarius Date: Mon, 24 Oct 2022 22:11:30 +0200 Subject: [PATCH] Merely use session structure instead of component settings. --- src/scala/dof_document_build.scala | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/scala/dof_document_build.scala b/src/scala/dof_document_build.scala index d70a10d..31d8859 100644 --- a/src/scala/dof_document_build.scala +++ b/src/scala/dof_document_build.scala @@ -58,20 +58,20 @@ object DOF_Document_Build File.content(path, xml).output(latex_output(_, file_pos = path.implode_symbolic)) .write(directory.doc_dir) } - val dof_home = Path.explode(Isabelle_System.getenv_strict("ISABELLE_DOF_HOME")); + val isabelle_dof_dir = context.session_context.sessions_structure("Isabelle_DOF").dir // print(context.options.string("dof_url")); // copy Isabelle/DOF LaTeX templates - val template_dir = dof_home + Path.explode("src/document-templates") + val template_dir = isabelle_dof_dir + Path.explode("document-templates") // TODO: error handling in case 1) template does not exist or 2) root.tex does already exist val template = regex.replaceAllIn(context.options.string("dof_template"),"") Isabelle_System.copy_file(template_dir + Path.explode("root-"+template+".tex"), directory.doc_dir+Path.explode("root.tex")) // copy Isabelle/DOF LaTeX styles - List(Path.explode("src/DOF/latex"), Path.explode("src/ontologies")) + List(Path.explode("DOF/latex"), Path.explode("ontologies")) .flatMap(dir => - File.find_files((dof_home + dir).file, + File.find_files((isabelle_dof_dir + dir).file, file => file.getName.endsWith(".sty"), include_dirs = true)) .foreach(sty => Isabelle_System.copy_file(sty, directory.doc_dir.file))