uebung-6

2025-12-06 08:46:55 +01:00
parent a8a8ec9779
commit af5da29daf
30 changed files with 15869 additions and 3 deletions
--- a/flake.nix
+++ b/flake.nix
@@ -87,12 +87,13 @@
                    mkdir -p $out/share $out/log $out/artifacts
                    cp out/uebung-${toString n}.pdf "$out/share/${name}"
                    cp out/*.log $out/log/
-                    cp out/* $out/artifacts
+                    cp -r out/* $out/artifacts
                  '';
              }
              // args;
          in {
            "uebung-5" = mkUebungPdf 5 {};
+            "uebung-6" = mkUebungPdf 6 {};
          };

          devShells.default = with pkgs;