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