Don't run latex triplicated (#5)

cardano-scaling · Jun 26, 2024 · 624ccdb · 624ccdb
1 parent 6b196a0
commit 624ccdb
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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