Add ZIP file production.

This commit is contained in:
Michael R Sweet 2021-08-30 16:44:48 -04:00
parent c53ad2a447
commit 81d358a6c0
No known key found for this signature in database
GPG Key ID: 999559A027815955

View File

@ -17,3 +17,7 @@ git push origin v$version
echo Creating pdfio-$version.tar.gz... echo Creating pdfio-$version.tar.gz...
git archive --format tar --prefix=pdfio-$version/ HEAD | gzip -v9 >pdfio-$version.tar.gz git archive --format tar --prefix=pdfio-$version/ HEAD | gzip -v9 >pdfio-$version.tar.gz
gpg --detach-sign pdfio-$version.tar.gz gpg --detach-sign pdfio-$version.tar.gz
echo Creating pdfio-$version.zip...
git archive --format zip --prefix=pdfio-$version/ HEAD >pdfio-$version.zip
gpg --detach-sign pdfio-$version.zip