From 624ccdbd3fd3dd15baa351b15f21441aa3385177 Mon Sep 17 00:00:00 2001
From: Daniel Firth <daniel.firth@iohk.io>
Date: Wed, 26 Jun 2024 11:40:44 +0100
Subject: [PATCH] Don't run latex triplicated (#5)

---
 flake.nix | 2 --
 1 file changed, 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 7704dec..744ad63 100644
--- a/flake.nix
+++ b/flake.nix
@@ -52,8 +52,6 @@
               buildPhase = ''
                 cp ${packages.hydra-agda-spec}/* -r .
                 HOME=./. latexmk -xelatex Hydra/Protocol/Main.tex
-                HOME=./. latexmk -xelatex Hydra/Protocol/Main.tex
-                HOME=./. latexmk -xelatex Hydra/Protocol/Main.tex
               '';
               installPhase = ''
                 mkdir $out