Skip to content
Permalink
Browse files

Update releaseDocs.sh

  • Loading branch information...
pipe01 committed Mar 10, 2018
1 parent efe26be commit 451cff2dc9ced5dde554e59f30ffcacff0d61b18
Showing with 2 additions and 1 deletion.
  1. +2 −1 releaseDocs.sh
@@ -26,4 +26,5 @@ cp -r $SOURCE_DIR/docfx_project/_site/* .
echo "Push the new docs to the remote branch"
git add . -A
git commit -m "Update generated documentation"
git push origin gh-pages
git push origin gh-pages &> log.txt
echo "Done"

0 comments on commit 451cff2

Please sign in to comment.
You can’t perform that action at this time.