.deployDoxygen.sh 814 B

12345678910111213141516171819202122232425262728
  1. #!/bin/bash
  2. #
  3. # This sciprt is run by travis-ci and pushes generated
  4. # Doxygen docs to open62541-www
  5. #
  6. git checkout coverity_scan
  7. COMMITS=`git log --since=today.midnight --oneline | wc -l`
  8. git checkout master
  9. if [[ "$COMMITS" -le "1" ]]; then
  10. git clone --depth=50 -b gh-pages https://$GITAUTH@github.com/acplt/open62541-www
  11. cd open62541-www
  12. git rm -rf doc
  13. cp -r ../build/doc ./
  14. git add -A doc/*
  15. git config --global user.email "open62541-travis-ci@users.noreply.github.com"
  16. git config --global user.name "Open62541 travis-ci"
  17. git config --global push.default simple
  18. git commit -am "doxygen updated by travis-ci"
  19. git push https://$GITAUTH@github.com/acplt/open62541-www
  20. cd ..
  21. rm -rf open62541-www
  22. else
  23. echo "Not the first commit of the day - no doxygen update required"
  24. fi