|
From: Mark W. <ma...@so...> - 2021-09-30 16:23:01
|
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 |