Update packaging info script

This commit is contained in:
o9000 2017-09-12 23:14:08 +02:00
parent 5bd253c0da
commit 38ff3318eb

View file

@ -12,8 +12,9 @@ git reset --hard
git pull
./version_status.py > ./tint2.wiki/packaging.md
./version_status.py > packaging.tmp.md
cat packaging.tmp.md > packaging.md
rm packaging.tmp.md
git commit -am 'Update packaging info'
git push