From b9e924857f2b8be5e70c17d25eea9b177adb95f4 Mon Sep 17 00:00:00 2001
From: Andrei <b1naryth1ef@gmail.com>
Date: Thu, 6 Oct 2016 18:19:31 -0500
Subject: [PATCH] Add docs build script

---
 docs/build.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 docs/build.sh

diff --git a/docs/build.sh b/docs/build.sh
new file mode 100755
index 0000000..b7613d2
--- /dev/null
+++ b/docs/build.sh
@@ -0,0 +1,12 @@
+#!/bin/bash
+rm -rf _build
+make html
+
+pushd _build/html
+git init
+git config user.name 'Autodoc'
+git config user.email '<>'
+git add .
+git commit -m "Autogenerated documentation"
+git push --force --quiet "https://${GH_TOKEN}@github.com/b1naryth1ef/disco" master:gh-pages
+popd