update doc helper

sailfish009 · Sep 29, 2016 · 74491c7 · 74491c7
1 parent 965256d
commit 74491c7
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/update_doc.sh b/update_doc.sh
@@ -0,0 +1,10 @@
+#!/usr/bin/bash
+
+(git co gh-pages &&
+ cd .. &
+ cp -R ./doc/_build/html/* . &&
+ git add -f auto_examples/* &&
+ git add -f auto_tutorials/* &&
+ git add -f _images/* &&
+ git add -f _sources/* &&
+ git add -f _downloads/*)