From 48c167aa2311455b1f0007055867da560042941d Mon Sep 17 00:00:00 2001 From: Makarius Date: Thu, 1 Dec 2022 21:45:06 +0100 Subject: [PATCH] Proper DOF.artifact_url --- src/scala/dof.scala | 4 ++-- src/scala/dof_document_build.scala | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/scala/dof.scala b/src/scala/dof.scala index 5f2593d6..24610b38 100644 --- a/src/scala/dof.scala +++ b/src/scala/dof.scala @@ -59,10 +59,10 @@ object DOF { val url = "https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF" // Isabelle/DOF source repository + // Isabelle/DOF release artifacts val artifact_dir = "releases/Isabelle_DOF/Isabelle_DOF" - // Isabelle/DOF release artifacts - val artifact_host = "artifacts.logicalhacking.com" + val artifact_url: String = "https://" + artifact_host + "/" + artifact_dir def options(opts: Options): Options = opts + "document_comment_latex" } diff --git a/src/scala/dof_document_build.scala b/src/scala/dof_document_build.scala index 40cdfac0..7fdc9850 100644 --- a/src/scala/dof_document_build.scala +++ b/src/scala/dof_document_build.scala @@ -87,7 +87,7 @@ object DOF_Document_Build \newcommand{\dof@isabelleversion}{""" + DOF.isabelle_version + """} \newcommand{\isabellefullversion}{""" + DOF.isabelle_version + """\xspace} \newcommand{\dof@version}{""" + DOF.version + """} -\newcommand{\dof@artifacturl}{""" + DOF.artifact_dir + """} +\newcommand{\dof@artifacturl}{""" + DOF.artifact_url + """} \newcommand{\doflatestversion}{""" + DOF.latest_version + """} \newcommand{\isadoflatestdoi}{""" + DOF.latest_doi + """} \newcommand{\isadofgenericdoi}{""" + DOF.generic_doi + """}