Add generated man pages to .gitignore

diff --git a/.gitignore b/.gitignore
index 3838b5b083105d5eaaccf96c9cdbd413d6524c9d..ed78bb8e3f33ae4a636a3ea82a507b790c2e83a9 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -289,6 +289,16 @@
 /docs/Makefile.in
 /docs/valid-manpages
 /docs/valid-manual
+/docs/valgrind.1
+/docs/cg_annotate.1
+/docs/cg_diff.1
+/docs/cg_merge.1
+/docs/callgrind_annotate.1
+/docs/callgrind_control.1
+/docs/ms_print.1
+/docs/valgrind-listener.1
+/docs/valgrind-di-server.1
+/docs/vgdb.1
 
 # /docs/images/
 /docs/images/Makefile