ci: use script for build-dev

sjtug · Nov 23, 2022 · 3426be1 · 3426be1
1 parent 6aad3bd
commit 3426be1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/ci/build_package.sh b/.github/ci/build_package.sh
@@ -7,6 +7,7 @@ l3build ctan
 l3build cache-demo # cache demos for making the next ctan process faster
 l3build manifest
 l3build ctan
+l3build clean-demo # for a clean restart
 
 cd ..
 .github/ci/copy_resources.sh

diff --git a/Makefile b/Makefile
@@ -45,7 +45,7 @@ build-cover: prepare
 
 # Build sjtubeamer package
 build-dev: prepare
-	cd src && l3build ctan
+	.github/ci/build_package.sh
 
 # Build `main.tex` with multiple test variants
 build-test-variants: prepare