From cc6d60918cf45b69d8944e442dee4c9c21054fc1 Mon Sep 17 00:00:00 2001 From: Martin Geisler Date: Tue, 5 Mar 2024 11:22:34 +0100 Subject: [PATCH] Apply suggestions from code review --- .github/workflows/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.sh b/.github/workflows/build.sh index 59e86a237a0..6e91d19ebde 100755 --- a/.github/workflows/build.sh +++ b/.github/workflows/build.sh @@ -39,7 +39,7 @@ fi mdbook build -d "$dest_dir" # Disable the redbox button in built versions of the course -echo '// disabled' > "${dest_dir}/html/theme/redbox.js" +echo '// Disabled in published builds, see build.sh' > "${dest_dir}/html/theme/redbox.js" 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/)