update CI script
This commit is contained in:
parent
38260b0a1e
commit
0ca188057a
2 changed files with 7 additions and 4 deletions
|
@ -2,11 +2,14 @@ cd .ci
|
||||||
export COMMIT_MSG=$(python3 print_deploy_message.py)
|
export COMMIT_MSG=$(python3 print_deploy_message.py)
|
||||||
cd ..
|
cd ..
|
||||||
make ci-build
|
make ci-build
|
||||||
|
make doc
|
||||||
cd build
|
cd build
|
||||||
zip -r LatexPackages.zip LatexPackagesBuild/ -x '*.git*'
|
|
||||||
tree -H '.' -I "index.html" -D --charset utf-8 -T "LatexPackages" > index.html
|
|
||||||
cd LatexPackagesBuild
|
cd LatexPackagesBuild
|
||||||
git add .
|
git add .
|
||||||
git commit -m "${COMMIT_MSG}" || echo "Nothing new to commit"
|
git commit -m "${COMMIT_MSG}" || echo "Nothing new to commit"
|
||||||
git push --set-upstream origin ${CI_COMMIT_REF_NAME}-build
|
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
|
||||||
|
|
2
Makefile
2
Makefile
|
@ -32,6 +32,6 @@ clean:
|
||||||
ci-build:
|
ci-build:
|
||||||
@python3 build.py --source-dir src --build-dir build/LatexPackagesBuild ${BUILD_FLAGS}
|
@python3 build.py --source-dir src --build-dir build/LatexPackagesBuild ${BUILD_FLAGS}
|
||||||
|
|
||||||
central-doc:
|
doc:
|
||||||
@-rm -r build/documentation
|
@-rm -r build/documentation
|
||||||
$(MAKE) -C doc $(MAKECMDGOALS)
|
$(MAKE) -C doc $(MAKECMDGOALS)
|
||||||
|
|
Loading…
Reference in a new issue