From 615c5b87ea58d5580d41940d161dc3c915789c5b Mon Sep 17 00:00:00 2001
From: Lars Frost <larsf@fsmpi.rwth-aachen.de>
Date: Fri, 7 Oct 2022 13:42:44 +0200
Subject: [PATCH] Fix TOC references

---
 tardis-make-doku.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tardis-make-doku.sh b/tardis-make-doku.sh
index 276d11e..fb20dc4 100755
--- a/tardis-make-doku.sh
+++ b/tardis-make-doku.sh
@@ -48,6 +48,7 @@ append_group "INFORMATIK" "iI"
 append_package "FOOTER"
 
 pdflatex "$BUILD"
+pdflatex "$BUILD" # necessary for TOC references
 
 chroot "$ROOT" sudo -u "$USER" xdg-user-dirs-update
 XDG_DESKTOP_DIR="$(chroot "$ROOT" sudo -u "$USER" xdg-user-dir DESKTOP)"
-- 
GitLab