Merge pull request #4225 from jepler/update-doc-excludes

docs: ignore the idf_tools folder
This commit is contained in:
Scott Shawcroft 2021-02-19 18:42:18 -08:00 committed by GitHub
commit fdf9d04a75
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -178,6 +178,7 @@ exclude_patterns = ["**/build*",
"ports/cxd56/spresense-exported-sdk",
"ports/esp32s2/certificates",
"ports/esp32s2/esp-idf",
"ports/esp32s2/.idf_tools",
"ports/esp32s2/peripherals",
"ports/litex/hw",
"ports/minimal",