From 0ca188057acdc324c173631aecbcdc41e3dec0b0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 30 Jan 2022 21:30:44 +0100 Subject: [PATCH] update CI script --- .ci/ci_build.sh | 9 ++++++--- Makefile | 2 +- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/.ci/ci_build.sh b/.ci/ci_build.sh index 55c43f3..801607f 100755 --- a/.ci/ci_build.sh +++ b/.ci/ci_build.sh @@ -2,11 +2,14 @@ cd .ci export COMMIT_MSG=$(python3 print_deploy_message.py) cd .. make ci-build +make doc cd build -zip -r LatexPackages.zip LatexPackagesBuild/ -x '*.git*' -tree -H '.' -I "index.html" -D --charset utf-8 -T "LatexPackages" > index.html cd LatexPackagesBuild git add . git commit -m "${COMMIT_MSG}" || echo "Nothing new to commit" git push --set-upstream origin ${CI_COMMIT_REF_NAME}-build - +cd .. +mv LatexPackagesBuild LatexPackages +zip -r LatexPackages.zip LatexPackages/ -x '*.git*' +zip -r LatexPackagesDocumentation.zip documentation +tree -H '.' -I "index.html" -D --charset utf-8 -T "LatexPackages" > index.html diff --git a/Makefile b/Makefile index bdb8cbb..ff650f7 100644 --- a/Makefile +++ b/Makefile @@ -32,6 +32,6 @@ clean: ci-build: @python3 build.py --source-dir src --build-dir build/LatexPackagesBuild ${BUILD_FLAGS} -central-doc: +doc: @-rm -r build/documentation $(MAKE) -C doc $(MAKECMDGOALS)