projects / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e9e0643)
Documentation: ignore *.pdf files
authorEmilio G. Cota <cota@braap.org>
Mon, 8 Aug 2011 08:33:04 +0000 (04:33 -0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 8 Aug 2011 16:30:12 +0000 (09:30 -0700)
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>
Documentation/.gitignore patch | blob | history

diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index 1c3a9fead579a9b52037f1bbe245998db8a2f40b..d62aebd848b2a44f977ad4d7c4b75b6ff72b2163 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -3,6 +3,7 @@
 *.[1-8]
 *.made
 *.texi
+*.pdf
 git.info
 gitman.info
 howto-index.txt
Git—the stupid content tracker