From 90a3893977f61c7c419a0a026440e2596e3e8493 Mon Sep 17 00:00:00 2001 From: Ax333l Date: Fri, 4 Nov 2022 19:21:55 +0100 Subject: [PATCH] chore: add ci build script --- ci-build.sh | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100755 ci-build.sh diff --git a/ci-build.sh b/ci-build.sh new file mode 100755 index 0000000..ae0c7e4 --- /dev/null +++ b/ci-build.sh @@ -0,0 +1,22 @@ +#!/bin/bash + +set -e + +# CD to the directory of this script. +cd "$(dirname "$0")" + +docs_git_repo="${REVANCED_DOCS_REPO:-https://github.com/revanced/revanced-documentation.git}" +export REVANCED_DOCS_FOLDER="_docs_src" + +git clone "$docs_git_repo" "$REVANCED_DOCS_FOLDER" + +# Do this because the docs repo doesn't have any actual docs right now +cd "$REVANCED_DOCS_FOLDER" +cp README.md index.md +cd - + +# Copy assets from docs repo to here. +mkdir -p static/docs +cp -r "$REVANCED_DOCS_FOLDER"/assets static/docs/assets || true + +npm run build