diff options
author | Graham Christensen <graham@grahamc.com> | 2018-03-24 10:50:05 -0400 |
---|---|---|
committer | Graham Christensen <graham@grahamc.com> | 2018-03-25 19:52:07 -0400 |
commit | 8c7be5927e8ba5c1925dad1d3af09624bd907116 (patch) | |
tree | 4b47c75b118e549f3da6cb5a98f538d36bdff4fe /doc | |
parent | 92d53362d4da7e19b6a7a6b1b936a0a34a17c0c9 (diff) |
Ignore generated XML and other generated files
Diffstat (limited to 'doc')
-rw-r--r-- | doc/.gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000000000..d8e765e38c2de --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,5 @@ +*.chapter.xml +*.section.xml +.version +out +manual-full.xml |