ReVanced/revanced-website
1
0
Fork 0
mirror of https://github.com/revanced/revanced-website.git synced 2025-04-30 06:34:35 +02:00
Code Issues Packages Projects Releases Wiki Activity

chore: add ci build script

Browse Source
This commit is contained in:
Ax333l 2022-11-04 19:21:55 +01:00
parent fb2185083c
commit 90a3893977
No known key found for this signature in database
GPG Key ID: D2B4D85271127D23
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
ci-build.sh Executable file
View File

@ -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