travis_push_doc.sh 595 B

123456789101112131415161718
  1. #!/bin/bash
  2. set -ev
  3. git clone --depth=5 -b gh-pages https://$GITAUTH@github.com/open62541/open62541-www
  4. cd open62541-www
  5. rm -r -f ./doc/current/* || true # ignore result
  6. mkdir ./doc/current
  7. cp -r ../../doc/* ./doc/current/
  8. git add -A ./doc/current
  9. git config --global user.email "open62541-travis-ci@users.noreply.github.com"
  10. git config --global user.name "Open62541 travis-ci"
  11. git config --global push.default simple
  12. git commit -am "updated generated documentation on webpage by travis-ci [ci skip]"
  13. git push https://$GITAUTH@github.com/open62541/open62541-www
  14. cd .. && rm -rf open62541-www