update-gh-pages.sh 148 B

123456789
  1. #!/bin/bash
  2. cd build/html/
  3. git add .
  4. if [ -n "$(git ls-files --deleted)" ]
  5. then
  6. git ls-files --deleted | xargs git rm
  7. fi
  8. git commit -m "Update"