summaryrefslogtreecommitdiff
path: root/push_ghpage
diff options
context:
space:
mode:
Diffstat (limited to 'push_ghpage')
-rw-r--r--push_ghpage12
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