Test

IntersectMBO · May 7, 2024 · 6dfc613 · 6dfc613
1 parent e49e3aa
commit 6dfc613
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/default.nix b/default.nix
@@ -191,6 +191,7 @@ rec {
         ls -l latex
         echo DEBUG
         mkdir -p latex/Ledger
+        echo makedir
         ls -l latex/Ledger
         echo DEBUG
         OUT_DIR=$out make ledger.conway.docs