renamed webfiles to dist

This commit is contained in:
Sebastian Moser
2025-03-21 07:22:22 +01:00
parent cb9699cef6
commit 673ab2235d
2 changed files with 4 additions and 4 deletions

View File

@@ -455,8 +455,8 @@ rec {
echo '${module.selector_string}' > $out/mize/dist/${hash}-${module.modName}/selector
'';
webfiles = systems: stdenv.mkDerivation {
name = "mize-webfiles";
dist = systems: stdenv.mkDerivation {
name = "mize-dist";
dontUnpack = true;
# so that those binaries run on average linux-gnu systems