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