From 8c6d4ca18be2be2ca62fca8ee8c38462e3f5eacc Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 18 Aug 2019 14:55:56 +0100
Subject: [PATCH] Addes support for DOIs.

---
 install | 1 +
 1 file changed, 1 insertion(+)

diff --git a/install b/install
index 94e7243..0cb32cc 100755
--- a/install
+++ b/install
@@ -217,6 +217,7 @@ install_and_register(){
       \\\\renewcommand{\\\\isabellefullversion}{$ISABELLE_VERSION\\\\xspace} \
       \\\\renewcommand{\\\\dof@version}{$DOF_VERSION} \
       \\\\renewcommand{\\\\doflatestversion}{$DOF_LATEST_VERSION} \
+      \\\\renewcommand{\\\\isadoflatestdoi}{$DOF_LATEST_DOI} \
       \\\\renewcommand{\\\\isabelleurl}{$ISABELLE_URL} \
       \\\\renewcommand{\\\\dofurl}{$DOF_URL} \
       \\\\renewcommand{\\\\dof@artifacturl}{https://$DOF_ARTIFACT_HOST/$DOF_ARTIFACT_DIR}|" \