X-Git-Url: https://git.ralfj.de/rust-101.git/blobdiff_plain/e48d2870f91b769680b0cd12895066a94c4131aa..a5db8629923dd434f3829f1a616764aa4170d67f:/push-docs

diff --git a/push-docs b/push-docs
new file mode 100644
index 0000000..7a6dc60
--- /dev/null
+++ b/push-docs
@@ -0,0 +1,9 @@
+#!/bin/bash
+set -e
+
+cd "$(dirname "$0"))"
+./pycco-rs src/*.rs
+cd docs
+git add .
+git commit -m "semi-auto-update of the documentation"
+git push