Different output filename

This commit is contained in:
Nox Sluijtman 2023-11-17 13:16:50 +01:00
parent 4db22860c9
commit b912ff28ad

View file

@ -31,7 +31,7 @@
''; '';
installPhase = '' installPhase = ''
mkdir -p $out mkdir -p $out
cp ${texInput}.pdf $out/ cp ${texInput}.pdf $out/${pname}.pdf
''; '';
}; };
default = document; default = document;