diff --git a/nix/pdfs.nix b/nix/pdfs.nix index 4881ea2f63..9f24eecfba 100644 --- a/nix/pdfs.nix +++ b/nix/pdfs.nix @@ -35,6 +35,11 @@ final: prev: { cp tech-reports/**/*.pdf $out/ cp formal-spec/consensus-spec.pdf $out/ + + mkdir -p $out/nix-support + for pdf in $out/*.pdf; do + echo "file binary-dist $pdf" >> $out/nix-support/hydra-build-products + done ''; }; }