diff options
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 |