files were sitting here on productionemulatorman/master

1 files changed, 12 insertions, 0 deletions

diff --git a/push_ghpage b/push_ghpage
new file mode 100644
index 00000000..de64e2b9
--- /dev/null
+++ b/push_ghpage
@@ -0,0 +1,12 @@
+#!/bin/sh
+git checkout -B gh-pages
+git pull origin gh-pages
+rm *
+rm -rf src
+rm -rf test
+cp -r build/result/docs/* .
+rm -rf build
+rm .travis.yml
+git add .
+git commit -a -m "New documents on github"
+git push origin gh-pages