ignore generated directories

develop
myk002 2022-07-28 15:32:26 -07:00
parent 380b003b56
commit a09b35c2bd
No known key found for this signature in database
GPG Key ID: 8A39CA0FA0C16E78
2 changed files with 5 additions and 0 deletions

2
.gitignore vendored

@ -18,8 +18,10 @@ build/VC2010
docs/changelogs/
docs/html/
docs/pdf/
docs/pseudoxml/
docs/text/
docs/tools/
docs/xml/
# in-place build
build/Makefile

@ -310,7 +310,10 @@ exclude_patterns = [
'docs/tags/*',
'docs/text/*',
'docs/builtins/*',
'docs/pdf/*',
'docs/plugins/*',
'docs/pseudoxml/*',
'docs/xml/*',
'scripts/docs/*',
]