From 070648e9b7fcea628957a0aee0aae94a9c2967ec Mon Sep 17 00:00:00 2001 From: "Emilio G. Cota" Date: Mon, 8 Aug 2011 04:33:04 -0400 Subject: [PATCH] Documentation: ignore *.pdf files user-manual.pdf is generated by the build and therefore should be ignored by git. Signed-off-by: Emilio G. Cota Signed-off-by: Junio C Hamano --- Documentation/.gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/Documentation/.gitignore b/Documentation/.gitignore index 1c3a9fead..d62aebd84 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -3,6 +3,7 @@ *.[1-8] *.made *.texi +*.pdf git.info gitman.info howto-index.txt -- 2.30.2