summaryrefslogtreecommitdiff
path: root/Documentation/.gitignore
diff options
context:
space:
mode:
authorEmilio G. Cota <cota@braap.org>2011-08-08 04:33:04 -0400
committerJunio C Hamano <gitster@pobox.com>2011-08-08 09:30:12 -0700
commit070648e9b7fcea628957a0aee0aae94a9c2967ec (patch)
tree248112a2df881e06713b88d209d0ee1b95539681 /Documentation/.gitignore
parente9e0643fe64b613b6596b79b59df8ff10746f1a1 (diff)
downloadgit-070648e9b7fcea628957a0aee0aae94a9c2967ec.tar.gz
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>
Diffstat (limited to 'Documentation/.gitignore')
-rw-r--r--Documentation/.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index 1c3a9fead5..d62aebd848 100644
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -3,6 +3,7 @@
*.[1-8]
*.made
*.texi
+*.pdf
git.info
gitman.info
howto-index.txt