Apply suggestions from code review

google · Mar 5, 2024 · cc6d609 · cc6d609
1 parent 2681f47
commit cc6d609
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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/)