echo "doc-pdf manual $out/share/doc/hydra/manual/manual.pdf" >> $out/nix-support/hydra-build-products        

        echo "doc-pdf manual $out/manual.pdf" >> $out/nix-support/hydra-build-products