Move website builds to GitLab CI

Repo cloning will go by next week.

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>
This commit is contained in:
Andrei Jiroh Halili 2023-07-13 18:13:07 +00:00
parent 4ae868cf37
commit 9e61cf7e65
6 changed files with 88 additions and 222 deletions

View file

@ -3,9 +3,10 @@
if [[ $DEBUG != "" ]]; then
set -x
fi
COMMAND=$*
if [[ $1 = "serve" ]] || [[ $1 == "build" ]] | [[ $1 == "gh-deploy" ]] || [[ $1 == "new" ]]; then
exec mkdocs $@
if [[ $1 = "serve" ]] || [[ $1 == "build" ]] || [[ $1 == "gh-deploy" ]] || [[ $1 == "new" ]] || [[ $1 == "--help" ]]; then
exec "mkdocs $COMMAND"
else
$@
exec "$COMMAND"
fi