From 012cae051bc0a5a63f0dec8efe47b7a6501b74e2 Mon Sep 17 00:00:00 2001
From: Lonami Exo <totufals@hotmail.com>
Date: Sun, 26 Jul 2020 13:50:48 +0200
Subject: [PATCH] Add a script to update online documentation

---
 update-docs.sh | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 update-docs.sh

diff --git a/update-docs.sh b/update-docs.sh
new file mode 100644
index 00000000..fe72cce7
--- /dev/null
+++ b/update-docs.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+python setup.py gen docs
+rm -rf /tmp/docs
+mv docs/ /tmp/docs
+git checkout gh-pages
+# there's probably better ways but we know none has spaces
+rm -rf $(ls /tmp/docs)
+mv /tmp/docs/* .
+git add constructors/ types/ methods/ index.html js/search.js css/ img/
+git commit --amend -m "Update documentation"
+git push --force
+git checkout master