We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 98f9351 commit 4cd3704Copy full SHA for 4cd3704
update_docs.sh
@@ -0,0 +1,30 @@
1
+#!/usr/bin/env bash
2
+
3
+# build the docs
4
+cd sphinx
5
+make clean
6
+make html
7
+# package the docs
8
+cd _build/html
9
+# checkout doc branch
10
+#git checkout gh-pages
11
12
+# make sure the checkout was successful
13
+#current_branch=$(git branch | grep \* | cut -d ' ' -f2-)
14
+#if [ $current_branch = "gh-pages" ]; then
15
+# # clear out old docs
16
+# git rm -rf .
17
+# rm -fr docs
18
+# rm -fr .idea
19
20
+# tar xzf ~/html.tgz
21
+# # commit and push new docs
22
+# git add .
23
+# git commit -a -m "publish the docs"
24
+# git push origin gh-pages
25
26
+# git checkout master
27
+# else
28
+# echo "Did not successfully checkout gh-pages branch."
29
+# echo "Do you have uncommitted changes on your current branch?"
30
+#fi
0 commit comments