forked from Isabelle_DOF/Isabelle_DOF
Proper DOF.artifact_url
This commit is contained in:
parent
700a9bbfee
commit
48c167aa23
|
@ -59,10 +59,10 @@ object DOF {
|
||||||
val url = "https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF"
|
val url = "https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF"
|
||||||
// Isabelle/DOF source repository
|
// Isabelle/DOF source repository
|
||||||
|
|
||||||
|
// Isabelle/DOF release artifacts
|
||||||
val artifact_dir = "releases/Isabelle_DOF/Isabelle_DOF"
|
val artifact_dir = "releases/Isabelle_DOF/Isabelle_DOF"
|
||||||
// Isabelle/DOF release artifacts
|
|
||||||
|
|
||||||
val artifact_host = "artifacts.logicalhacking.com"
|
val artifact_host = "artifacts.logicalhacking.com"
|
||||||
|
val artifact_url: String = "https://" + artifact_host + "/" + artifact_dir
|
||||||
|
|
||||||
def options(opts: Options): Options = opts + "document_comment_latex"
|
def options(opts: Options): Options = opts + "document_comment_latex"
|
||||||
}
|
}
|
||||||
|
|
|
@ -87,7 +87,7 @@ object DOF_Document_Build
|
||||||
\newcommand{\dof@isabelleversion}{""" + DOF.isabelle_version + """}
|
\newcommand{\dof@isabelleversion}{""" + DOF.isabelle_version + """}
|
||||||
\newcommand{\isabellefullversion}{""" + DOF.isabelle_version + """\xspace}
|
\newcommand{\isabellefullversion}{""" + DOF.isabelle_version + """\xspace}
|
||||||
\newcommand{\dof@version}{""" + DOF.version + """}
|
\newcommand{\dof@version}{""" + DOF.version + """}
|
||||||
\newcommand{\dof@artifacturl}{""" + DOF.artifact_dir + """}
|
\newcommand{\dof@artifacturl}{""" + DOF.artifact_url + """}
|
||||||
\newcommand{\doflatestversion}{""" + DOF.latest_version + """}
|
\newcommand{\doflatestversion}{""" + DOF.latest_version + """}
|
||||||
\newcommand{\isadoflatestdoi}{""" + DOF.latest_doi + """}
|
\newcommand{\isadoflatestdoi}{""" + DOF.latest_doi + """}
|
||||||
\newcommand{\isadofgenericdoi}{""" + DOF.generic_doi + """}
|
\newcommand{\isadofgenericdoi}{""" + DOF.generic_doi + """}
|
||||||
|
|
Loading…
Reference in New Issue