From 32e9c3f71ca36d677686d4c6e7c223cf72c13ff9 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 19 Aug 2019 09:48:45 +0100
Subject: [PATCH] Added version independent DOI.

---
 .config                                                         | 1 +
 .../technical_report/Isabelle_DOF-Manual/document/preamble.tex  | 2 +-
 install                                                         | 1 +
 src/DOF/latex/DOF-core.sty                                      | 1 +
 4 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/.config b/.config
index 2408de1..ead5950 100644
--- a/.config
+++ b/.config
@@ -3,6 +3,7 @@ DOF_VERSION="Unreleased"    # "Unreleased" for development, semantic version for
 DOF_LATEST_VERSION="1.0.0"    
 DOF_LATEST_ISABELLE="Isabelle2019"    
 DOF_LATEST_DOI="10.5281/zenodo.3370483"
+DOF_GENERIC_DOI="10.5281/zenodo.3370482"
 #
 # Isabelle and AFP Configuration
 ISABELLE_VERSION="Isabelle2019: June 2019"
diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
index 405d182..930f245 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@@ -78,7 +78,7 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
 \lowertitleback{%
 This manual describes \isadof version \isadofversion.  The latest official 
-release is \isadoflatestversion{} (\href{https://doi.org/\isadoflatestdoi}{doi:\isadoflatestdoi}).  The latest development version as well as official releases are available at 
+release is \isadoflatestversion{} (\href{https://doi.org/\isadoflatestdoi}{doi:\isadoflatestdoi}). The DOI \href{https://doi.org/\isadofgenericdoi}{\isadofgenericdoi} will allways point to the latest release.  The latest development version as well as official releases are available at 
 \url{\dofurl}.
 
 \paragraph*{Contributors.} We would like to thank the following contributors to \isadof 
diff --git a/install b/install
index 39dbb9f..4d05efd 100755
--- a/install
+++ b/install
@@ -218,6 +218,7 @@ install_and_register(){
       \\\\renewcommand{\\\\dof@version}{$DOF_VERSION} \
       \\\\renewcommand{\\\\doflatestversion}{$DOF_LATEST_VERSION} \
       \\\\renewcommand{\\\\isadoflatestdoi}{$DOF_LATEST_DOI} \
+      \\\\renewcommand{\\\\isadofgenericdoi}{$DOF_GENERIC_DOI} \
       \\\\renewcommand{\\\\isabelleurl}{$ISABELLE_URL} \
       \\\\renewcommand{\\\\dofurl}{$DOF_URL} \
       \\\\renewcommand{\\\\dof@artifacturl}{https://$DOF_ARTIFACT_HOST/$DOF_ARTIFACT_DIR}|" \
diff --git a/src/DOF/latex/DOF-core.sty b/src/DOF/latex/DOF-core.sty
index e23a67e..0cfea88 100644
--- a/src/DOF/latex/DOF-core.sty
+++ b/src/DOF/latex/DOF-core.sty
@@ -32,6 +32,7 @@
 \newcommand{\dof@artifacturl}{UNDEFINED}
 \newcommand{\doflatestversion}{UNDEFINED}
 \newcommand{\isadoflatestdoi}{UNDEFINED}
+\newcommand{\isadofgenericdoi}{UNDEFINED}
 \newcommand{\isabellelatestversion}{Isabelle2019}
 
 %%% CONFIG %%%