Fix .gitwork/publish.sh script to remove redandunt files

Change-Id: I52e42206b1ace68c16a88ee0b83b5421d04a0773

diff --git a/.gitwork/publish.sh b/.gitwork/publish.sh
index 4fe31b0..58fbeb2 100755 (executable)
--- a/.gitwork/publish.sh
+++ b/.gitwork/publish.sh
@@ -43,6 +43,9 @@ git config user.name "DotnetBuild"
 git add $ROOT_DIR/packaging
 
 git fetch origin master
+git rm -fr src
+git rm -fr pkg
+git rm -fr build
 git checkout $VERSION_VCS -- src 
 git checkout $VERSION_VCS -- pkg
 git checkout $VERSION_VCS -- build