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>
git-mirror · Aug 8, 2011 · 070648e · 070648e
1 parent e9e0643
commit 070648e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Documentation/.gitignore b/Documentation/.gitignore
@@ -3,6 +3,7 @@
 *.[1-8]
 *.made
 *.texi
+*.pdf
 git.info
 gitman.info
 howto-index.txt