1 files changed, 18 insertions, 0 deletions
diff --git a/docs/_esnet/deploy.sh b/docs/_esnet/deploy.sh
new file mode 100755
index 0000000..223718c
--- /dev/null
+++ b/docs/_esnet/deploy.sh
@@ -0,0 +1,18 @@
+#!/bin/sh
+
+GIT_URL=`git remote show origin | awk '/Push  URL/ { print $NF }'`
+DEPLOY_DIR=/tmp/deploy.$$
+mkdir ${DEPLOY_DIR}
+(cd ${DEPLOY_DIR} ; \
+    git clone ${GIT_URL} . \
+ && git checkout gh-pages \
+ && git rm -rf .
+)
+cp -r _build/html/* ${DEPLOY_DIR}
+touch ${DEPLOY_DIR}/.nojekyll
+(cd ${DEPLOY_DIR} ; \
+    git add .nojekyll *  \
+    && git commit -m "deploy"  \
+    && git push)
+
+rm -rf ${DEPLOY_DIR}