Added tagging to release.sh

diff --git a/re2c/release.sh b/re2c/release.sh
index a549422c4b752138957785d195744b0c2fc7b3e3..a91f39c5ddc672bb99a280453b959398dc248ab2 100755 (executable)
--- a/re2c/release.sh
+++ b/re2c/release.sh
@@ -35,7 +35,8 @@ rm -r $tmpdir
 
 # commit release
 git commit -a -m "Release $version."
-git push
+git tag $version
+git push --tags
 
 # upload files on sourceforge
 src=release