diff --git a/tardis-make-doku.sh b/tardis-make-doku.sh index 276d11e98eb64a2c145928c090151f7fb7492249..fb20dc4b44190f42ae0545990ead7148003185f7 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)"