diff --git a/scripts/build-docs.sh b/scripts/build-docs.sh
index dfa34737bba1..3400e2849b53 100755
--- a/scripts/build-docs.sh
+++ b/scripts/build-docs.sh
@@ -87,5 +87,9 @@ ${MDBOOK} build -d $KANI_DIR/docs/book/rfc
 echo "Building rustdocs..."
 cd $KANI_DIR
 RUSTFLAGS="--cfg=kani" cargo doc -p kani --no-deps --target-dir docs/book/crates
+# We remove build files to avoid false positives in secret scanning alerts.
+# More details in: https://github.com/model-checking/kani/issues/2735
+echo "Removing build files from rustdocs..."
+rm -r docs/book/crates/debug
 
 echo "Finished documentation build successfully."