diff --git a/docs/build.sh b/docs/build.sh new file mode 100755 index 00000000000..c08c827ae82 --- /dev/null +++ b/docs/build.sh @@ -0,0 +1,10 @@ +#!/bin/sh + +# This builds docs using docusaurus. +# COMMIT=$(git rev-parse HEAD) +echo "building docusaurus main docs" +# (git clean -fdx && git reset --hard && git checkout $COMMIT) +npm ci && npm run build +mv build ~/output +echo "done building docusaurus main docs" +# echo $DOCS_DOMAIN > ~/output/CNAME \ No newline at end of file