Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/bash
- while true; do
- cd /root/uofw/
- git checkout master
- git fetch
- if [[ -n $(git log HEAD..origin/master --oneline) ]]; then
- echo "generating documentation..."
- else
- echo "already up-to-date."
- sleep $(calc 5*60)
- continue
- fi
- git pull
- cd /root/
- doxygen uofw/docs/Doxyfile
- cd uofw/
- git checkout gh-pages
- git pull
- rm -r doc/ html/
- mv ../html/ .
- mv html/ doc/
- git add doc/
- git commit -am "uofwdox: documentation update"
- git push
- done
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement