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}|" \