Publish devs for macos.

This commit is contained in:
Martin Rotter 2017-11-14 12:49:38 +01:00
parent 9474539697
commit fd3d1c2cbd

View File

@ -42,7 +42,7 @@ echo "Line to add: $wikiline"
cat "$wikifile" | /usr/local/bin/sed -e "s@| Mac OS | .\+$USE_WEBENGINE | @$wikiline@g" > "$wikifilenew"
cat "$wikifilenew"
#mv "$wikifilenew" "$wikifile"
mv "$wikifilenew" "$wikifile"
cd ./build-wiki
git add *.*