From 5b6f259546269bc5c5e39ee4defd51fef306f9ce Mon Sep 17 00:00:00 2001 From: Martin Geisler Date: Wed, 17 Jan 2024 14:48:06 +0100 Subject: [PATCH] Simplify `build.sh` The `mdbook-pandoc` extension is always available when building the book in CI, so we can remove the conditional. From a discussion in #1704. --- .github/workflows/build.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.github/workflows/build.sh b/.github/workflows/build.sh index 8df3cc459c40..75cef84afce6 100755 --- a/.github/workflows/build.sh +++ b/.github/workflows/build.sh @@ -37,9 +37,7 @@ else fi mdbook build -d "$dest_dir" -if [ -f "$dest_dir/pandoc/pdf/comprehensive-rust.pdf" ]; then - mv "$dest_dir/pandoc/pdf/comprehensive-rust.pdf" "$dest_dir/html/" -fi +mv "$dest_dir/pandoc/pdf/comprehensive-rust.pdf" "$dest_dir/html/" (cd "$dest_dir/exerciser" && zip --recurse-paths ../html/comprehensive-rust-exercises.zip comprehensive-rust-exercises/) echo "::endgroup::"