summaryrefslogtreecommitdiff
path: root/ci/publish-docs.sh
diff options
context:
space:
mode:
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