Merge branch 'maint'

[git.git] / Documentation / .gitignore

diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index 6a51331b2fbf991d16dae9d4e486463dfa567311..b98d21e98e008c79d2598c6aa9213826d26f5b0d 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -2,6 +2,7 @@
 *.html
 *.1
 *.7
+*.made
 howto-index.txt
 doc.dep
 cmds-*.txt