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 <cota@braap.org> Signed-off-by: Junio C Hamano <gitster@pobox.com>
14 years ago · 070648e9b7
1 changed files with 1 additions and 0 deletions
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@ -3,6 +3,7 @@
				@@ -3,6 +3,7 @@
 *.[1-8]
 *.made
 *.texi
+*.pdf
 git.info
 gitman.info
 howto-index.txt