Ignore generated XML and other generated files

This commit is contained in:
Graham Christensen 2018-03-24 10:50:05 -04:00
parent 92d53362d4
commit 8c7be5927e
No known key found for this signature in database
GPG Key ID: ACA1C1D120C83D5C

5
doc/.gitignore vendored Normal file
View File

@ -0,0 +1,5 @@
*.chapter.xml
*.section.xml
.version
out
manual-full.xml