From 9b2c63082582d96eb1f654747a8608b4363140cb Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 5 Jun 2019 21:52:26 +0200
Subject: [PATCH] make changelog URL readable even on printed version
---
docs/iris.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/iris.tex b/docs/iris.tex
index c227a50d6..4c74119f5 100644
--- a/docs/iris.tex
+++ b/docs/iris.tex
@@ -40,7 +40,7 @@ For further information, visit the Iris project website at \url{http://plv.mpi-s
\section{Iris from the Ground Up}
In \citetitle{iris-ground-up}~\cite{iris-ground-up}, we describe Iris~3.1 in a bottom-up way.
That paper is hence much more suited as an introduction to the model of Iris than this reference, which mostly contains definitions, not explanations or examples.
-For a list of changes in Iris since then, please consult \href{https://gitlab.mpi-sws.org/iris/iris/blob/master/CHANGELOG.md}{our changelog}.
+For a list of changes in Iris since then, please consult our changelog at \url{https://gitlab.mpi-sws.org/iris/iris/blob/master/CHANGELOG.md}.
\endgroup
\clearpage\begingroup
--
GitLab