exclude the generated included tags/ files

develop
myk002 2022-07-22 15:28:09 -07:00
parent f9c8d36e03
commit 47af2ef396
No known key found for this signature in database
GPG Key ID: 8A39CA0FA0C16E78
1 changed files with 1 additions and 0 deletions

@ -295,6 +295,7 @@ exclude_patterns = [
'build*', 'build*',
'depends/*', 'depends/*',
'docs/html/*', 'docs/html/*',
'docs/tags/*',
'docs/text/*', 'docs/text/*',
'docs/builtins/*', 'docs/builtins/*',
'docs/plugins/*', 'docs/plugins/*',