[Valgrind-developers] [valgrind] Add generated man pages to .gitignore

[Mark W. <ma...@so...>]

https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=d281a09e8e115d7cc4054a8e43fb4dd9b4d7778d

commit d281a09e8e115d7cc4054a8e43fb4dd9b4d7778d
Author: Mark Wielaard <ma...@kl...>
Date:   Thu Sep 30 18:22:30 2021 +0200

    Add generated man pages to .gitignore

Diff:
---
 .gitignore | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.gitignore b/.gitignore
index 3838b5b083..ed78bb8e3f 100644
--- 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