switch from pycco and md to docco and rst

[rust-101.git] / push-docs

diff --git a/push-docs b/push-docs
deleted file mode 100755 (executable)
index 8f86eed..0000000
--- a/push-docs
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/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