2021-08-30 22:31:00 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
#
|
|
|
|
|
# makesrcdist - make a source distribution of pdfio.
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
if test $# != 1; then
|
|
|
|
|
echo "Usage: ./makesrcdist version"
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
version=$1
|
|
|
|
|
|
|
|
|
|
echo Creating tag for release...
|
|
|
|
|
git tag -m "Tag $version" v$version
|
|
|
|
|
git push origin v$version
|
|
|
|
|
|
|
|
|
|
echo Creating 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
|
2021-08-30 22:44:48 +02:00
|
|
|
|
|
|
|
|
echo Creating pdfio-$version.zip...
|
|
|
|
|
git archive --format zip --prefix=pdfio-$version/ HEAD >pdfio-$version.zip
|
|
|
|
|
gpg --detach-sign pdfio-$version.zip
|
