summaryrefslogtreecommitdiff
path: root/ci/publish-docs.sh
diff options
context:
space:
mode:
authorLi Haoyi <haoyi.sg@gmail.com>2018-02-15 23:07:37 -0800
committerLi Haoyi <haoyi.sg@gmail.com>2018-02-15 23:07:37 -0800
commitc0c84ce814bb535fd770521dc1acf16b2c172c4e (patch)
tree876ca0d2a75338d42245f198ed13616e2d6824f4 /ci/publish-docs.sh
parent4014f989b5bbea2737bb2b7125410115041a6a6a (diff)
downloadmill-c0c84ce814bb535fd770521dc1acf16b2c172c4e.tar.gz
mill-c0c84ce814bb535fd770521dc1acf16b2c172c4e.tar.bz2
mill-c0c84ce814bb535fd770521dc1acf16b2c172c4e.zip
generate a reasonable-looking docsite using my blog code
Diffstat (limited to 'ci/publish-docs.sh')
-rwxr-xr-xci/publish-docs.sh9
1 files changed, 9 insertions, 0 deletions
diff --git a/ci/publish-docs.sh b/ci/publish-docs.sh
new file mode 100755
index 00000000..044b2ff5
--- /dev/null
+++ b/ci/publish-docs.sh
@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+
+set -eux
+
+curl -L -o ~/bin/amm https://github.com/lihaoyi/Ammonite/releases/download/1.0.0/2.11-1.0.0 && chmod +x ~/bin/amm; fi
+
+cd docs
+
+amm build.sc --publish true \ No newline at end of file