From 3426be1148a19519a25f077ed7869be5df463b72 Mon Sep 17 00:00:00 2001 From: LogCreative Date: Wed, 23 Nov 2022 18:06:34 +0800 Subject: [PATCH] ci: use script for build-dev --- .github/ci/build_package.sh | 1 + Makefile | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/ci/build_package.sh b/.github/ci/build_package.sh index f50a8d64..4f658b3a 100755 --- 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 index 457c7ad3..9c2a7b4c 100644 --- 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