From b9938dd857490113bf98c560592732766b3516e0 Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Fri, 8 Sep 2023 18:08:23 +0000
Subject: [PATCH] Remove build files generated with `cargo doc`

---
 scripts/build-docs.sh | 4 ++++
 1 file changed, 4 insertions(+)

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."