When generating docs, remove pages for deleted checkers

PiperOrigin-RevId: 390705810
google · Aug 13, 2021 · 7844fe4 · 7844fe4
1 parent 4aad239
commit 7844fe4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/util/generate-latest-docs.sh b/util/generate-latest-docs.sh
@@ -37,6 +37,8 @@ mvn clean
 
 mvn -P run-annotation-processor compile site
 rsync -a docgen/target/generated-wiki/ ${GH_PAGES_DIR}
+# remove docs from deleted checkers
+rsync --delete -a docgen/target/generated-wiki/bugpattern/ ${GH_PAGES_DIR}/bugpattern/
 
 cd $GH_PAGES_DIR
 git add --all .