From 874d980976169baf9ec01f8ff4ee1c218a447077 Mon Sep 17 00:00:00 2001
From: Mario Mulansky <mario.mulansky@gmx.net>
Date: Fri, 24 Oct 2014 10:28:04 +0200
Subject: +update website script

---
 doc/copy_html | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 doc/copy_html

(limited to 'doc')

diff --git a/doc/copy_html b/doc/copy_html
new file mode 100755
index 0000000..1be8f05
--- /dev/null
+++ b/doc/copy_html
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+git checkout gh-pages
+rc=$?
+if [[ $rc != 0 ]] ; then
+    exit $rc
+fi
+cp -r _build/html/*.html _build/html/*.js _build/html/_static ../
+echo "html files copied"
+git commit -am"website update"
+git push
+git checkout master
-- 
cgit v1.2.3