From 2e77c685d829782f73b4891e610e343b0f797ebd Mon Sep 17 00:00:00 2001
From: Daniel Baston <dbaston@gmail.com>
Date: Mon, 26 Aug 2024 17:41:27 -0400
Subject: [PATCH] CI: Fix warning from spell check

---
 .github/workflows/doc_checks.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/doc_checks.yml b/.github/workflows/doc_checks.yml
index d8ddd47abdd1..4a44c33dfa91 100644
--- a/.github/workflows/doc_checks.yml
+++ b/.github/workflows/doc_checks.yml
@@ -83,5 +83,6 @@ jobs:
     - name: Spelling
       shell: bash -l {0}
       run: |
+        rm -rf build/html_extra # avoid WARNING: html_extra_path entry '../build/html_extra' is placed inside outdir
         make spelling
       working-directory: ./doc