diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2018-02-15 23:07:37 -0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2018-02-15 23:07:37 -0800 |
commit | c0c84ce814bb535fd770521dc1acf16b2c172c4e (patch) | |
tree | 876ca0d2a75338d42245f198ed13616e2d6824f4 /ci | |
parent | 4014f989b5bbea2737bb2b7125410115041a6a6a (diff) | |
download | mill-c0c84ce814bb535fd770521dc1acf16b2c172c4e.tar.gz mill-c0c84ce814bb535fd770521dc1acf16b2c172c4e.tar.bz2 mill-c0c84ce814bb535fd770521dc1acf16b2c172c4e.zip |
generate a reasonable-looking docsite using my blog code
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/publish-docs.sh | 9 |
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 |