update ci build script to have built packages available when generating documentation
This commit is contained in:
parent
9993ac4fc9
commit
e2d4d57eb0
1 changed files with 2 additions and 0 deletions
|
@ -8,6 +8,8 @@ git add .
|
|||
git commit -m "${COMMIT_MSG}" || echo "Nothing new to commit"
|
||||
git push --set-upstream origin ${CI_COMMIT_REF_NAME}-build
|
||||
cd ../..
|
||||
mkdir -p ~/texmf/tex/latex
|
||||
cp -r build/LatexPackagesBuild ~/texmf/tex/latex
|
||||
make doc
|
||||
cd build
|
||||
mv LatexPackagesBuild LatexPackages
|
||||
|
|
Loading…
Reference in a new issue