fix the script
[rust-101.git] / 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