Added html marker in build.sh

google · Mar 4, 2024 · 37e74ca · 37e74ca
1 parent 7de5844
commit 37e74ca
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.sh b/.github/workflows/build.sh
@@ -37,6 +37,7 @@ else
 fi
 
 mdbook build -d "$dest_dir"
+sed -i '/<!-- MARKER_START -->./../../theme/redbox.js<!-- MARKER_END -->/d' ./../../theme/redbox.js
 if [ -f "$dest_dir/pandoc/pdf/comprehensive-rust.pdf" ]; then
     mv "$dest_dir/pandoc/pdf/comprehensive-rust.pdf" "$dest_dir/html/"
 fi