diff --git a/.ci/ci_build.sh b/.ci/ci_build.sh index 801607f..9805d32 100755 --- a/.ci/ci_build.sh +++ b/.ci/ci_build.sh @@ -1,14 +1,12 @@ -cd .ci export COMMIT_MSG=$(python3 print_deploy_message.py) -cd .. make ci-build -make doc -cd build -cd LatexPackagesBuild +cd build/LatexPackagesBuild git add . git commit -m "${COMMIT_MSG}" || echo "Nothing new to commit" git push --set-upstream origin ${CI_COMMIT_REF_NAME}-build -cd .. +cd ../.. +make doc +cd build mv LatexPackagesBuild LatexPackages zip -r LatexPackages.zip LatexPackages/ -x '*.git*' zip -r LatexPackagesDocumentation.zip documentation