From e2d4d57eb07969b361c38ff5672582cc31291648 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Sun, 30 Jan 2022 21:56:06 +0100
Subject: [PATCH] update ci build script to have built packages available when
 generating documentation

---
 .ci/ci_build.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.ci/ci_build.sh b/.ci/ci_build.sh
index a77c282..16dbc90 100755
--- a/.ci/ci_build.sh
+++ b/.ci/ci_build.sh
@@ -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