From 4e37031001ab65502f75584bb776347ab075faa9 Mon Sep 17 00:00:00 2001
From: Sebastian Nagel <sebastian.nagel@ncoding.at>
Date: Mon, 29 May 2023 14:34:34 +0200
Subject: [PATCH] Fix references in the hydra specification

Multiple invocation of pdflatex is needed. Using latexmk we can automate
all the needed steps for generating a properly linked PDF
---
 spec/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec/default.nix b/spec/default.nix
index 380d2729633..fc7d713c316 100644
--- a/spec/default.nix
+++ b/spec/default.nix
@@ -9,7 +9,7 @@ pkgs.stdenvNoCC.mkDerivation rec {
   ];
   phases = [ "unpackPhase" "buildPhase" ];
   buildPhase = ''
-    pdflatex -file-line-error --synctex=1 -interaction=nonstopmode ${./main.tex}
+    latexmk -pdf ${./main.tex}
     mkdir -p $out
     mv *-main.pdf $out/${name}.pdf
   '';