ci(build): forget to include changes for build script itself

This should be originally on 4551899097,
but we don't want to do a force push due to reasons.

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>
This commit is contained in:
Andrei Jiroh Halili 2023-10-07 01:03:54 +08:00
parent 4551899097
commit 8362b6390e
No known key found for this signature in database
GPG key ID: 67BFC91B3DA12BE8

View file

@ -6,16 +6,17 @@ FF_OFFLINE_MKDOCS_PLUGIN=${FF_OFFLINE_MKDOCS_PLUGIN:-"false"}
FF_ENABLE_COMMIT_DATA=${FF_ENABLE_COMMIT_DATA:-"true"} FF_ENABLE_COMMIT_DATA=${FF_ENABLE_COMMIT_DATA:-"true"}
FF_GENERATE_SOCIAL_CARDS=${FF_GENERATE_SOCIAL_CARDS:-"true"} FF_GENERATE_SOCIAL_CARDS=${FF_GENERATE_SOCIAL_CARDS:-"true"}
if [[ $SKIP_VENV_SETUP == "" ]] || [[ $CI == "" ; then if [[ $SKIP_VENV_SETUP == "" ]] || [[ $CI == "" ]]; then
pipenv install -r requirements.txt pipenv install -r requirements.txt
pipenv run -- mkdocs build -d "$TARGET_DIR" pipenv run -- mkdocs build -d "$TARGET_DIR"
else else
pip3 install -r requirements.txt --upgrade pip3 install -r requirements.txt --upgrade --user
mkdocs build -d "$TARGET_DIR" mkdocs build -d "$TARGET_DIR"
fi fi
mkdir "$TARGET_DIR/api" mkdir "$TARGET_DIR/api"
git rev-parse HEAD > "$TARGET_DIR/api/commit" git rev-parse HEAD > "$TARGET_DIR/api/commit"
cp "$TARGET_DIR/assets/images/favicon.png" "$TARGET_DIR/favicon.ico" cp "$TARGET_DIR/assets/images/favicon.png" "$TARGET_DIR/favicon.ico"
cp markdown/.well-known "$TARGET_DIR/.well-known" -rv
set +xe set +xe