.deployGH_doc.sh 641 B

123456789101112131415161718192021
  1. #!/bin/bash
  2. #
  3. # This script is run by travis-ci and pushes generated
  4. # Doxygen docs and single-source distributions to open62541-www
  5. #
  6. git clone --depth=5 -b gh-pages https://$GITAUTH@github.com/open62541/open62541-www
  7. cd open62541-www
  8. #handle doc
  9. git rm -r -f doc
  10. cp -r ../doc ./
  11. git add -A doc/*
  12. git config --global user.email "open62541-travis-ci@users.noreply.github.com"
  13. git config --global user.name "Open62541 travis-ci"
  14. git config --global push.default simple
  15. git commit -am "updated generated documentation on webpage by travis-ci [ci skip]"
  16. git push https://$GITAUTH@github.com/open62541/open62541-www
  17. cd ..
  18. rm -rf open62541-www