Merge pull request #3478 from vargaz/fix-pedump

[mono.git] / docs / .gitignore

diff --git a/docs/.gitignore b/docs/.gitignore
index f04d63481747a9ee855993f81612b87fee1756ef..1be487d448de63b638063a41f4549e0736e604cc 100644 (file)
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -4,3 +4,8 @@
 /Makefile.in
 /monoapi.tree
 /monoapi.zip
+/mono-file-formats.tree
+/mono-file-formats.zip
+/mono-tools.tree
+/mono-tools.zip
+/AgilityPack.dll*