Debug

IntersectMBO · May 7, 2024 · f341d50 · f341d50
1 parent 9936f51
commit f341d50
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/default.nix b/default.nix
@@ -188,9 +188,9 @@ rec {
       buildPhase = ''
         echo DEBUG
         echo $out
-        ls -l src/latex
+        ls -l latex
         echo DEBUG
-        ls -l src/latex/Ledger
+        ls -l latex/Ledger
         echo DEBUG
         OUT_DIR=$out make ledger.conway.docs
       '';