From d18120d16ad6aa1cd8b68c0386f37f149d1234be Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 9 Nov 2024 08:54:09 +0100
Subject: [PATCH] this will be the 4.4 refrence
---
tex/iris.tex | 2 +-
tex/upload | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/tex/iris.tex b/tex/iris.tex
index ed1076510..0a9f6593c 100644
--- a/tex/iris.tex
+++ b/tex/iris.tex
@@ -14,7 +14,7 @@
\input{setup}
-\title{\bfseries The Iris 4.3 Reference}
+\title{\bfseries The Iris 4.4~dev Reference}
\author{\url{https://iris-project.org/}}
diff --git a/tex/upload b/tex/upload
index a7583a2e5..87621c46a 100755
--- a/tex/upload
+++ b/tex/upload
@@ -3,5 +3,5 @@ set -e
cd "$(dirname "$(readlink -e "$0")")"
latexmk -pdf iris
-scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-4.3.pdf
+scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-4.4.pdf
--
GitLab