push-docs

   1 #!/bin/bash
   2 set -e
   3
   4 cd "$(dirname "$0")"
   5 ./pycco-rs src/*.rs
   6 cd docs
   7 git add .
   8 git commit -m "semi-auto-update of the documentation"
   9 git push