pushd and popd is safer here to not confuse Travis

This commit is contained in:
Matthias Mailänder
2014-06-16 09:34:17 +02:00
parent eb27c9ef9d
commit 6928a828e8

View File

@@ -8,8 +8,9 @@ pushd .. &> /dev/null
mono --debug OpenRA.Utility.exe --lua-docs d2k > packaging/openra-wiki/New-Lua-API.md
popd &> /dev/null
cd openra-wiki
pushd openra-wiki
git add Traits.md
git add New-Lua-API.md
git commit -m "Update trait and scripting documentation"
git push origin master
git push origin master
popd