Fix makesrcdist script's archive generation (Issue #242)

This commit is contained in:
Michael R Sweet 2019-01-17 10:12:08 -05:00
parent 0b1caf41cc
commit c07d6fc9ab
No known key found for this signature in database
GPG Key ID: 999559A027815955

View File

@ -15,4 +15,6 @@ git tag -m "Tag $version" v$version
git push origin v$version
echo Creating mxml-$version.tar.gz...
git archive --format tar HEAD | gzip -v9 >mxml-$version.tar.gz
git archive --format tar --prefix=mxml-$version/ HEAD | gzip -v9 >mxml-$version.tar.gz
gpg --detach-sign mxml-$version.tar.gz