diff options
| author | Emilio G. Cota <cota@braap.org> | 2011-08-08 10:33:04 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2011-08-08 18:30:12 +0200 |
| commit | 070648e9b7fcea628957a0aee0aae94a9c2967ec (patch) | |
| tree | 248112a2df881e06713b88d209d0ee1b95539681 /Documentation/.gitignore | |
| parent | add gitignore entry to description about how to write a builtin (diff) | |
| download | git-070648e9b7fcea628957a0aee0aae94a9c2967ec.tar.xz git-070648e9b7fcea628957a0aee0aae94a9c2967ec.zip | |
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 '')
| -rw-r--r-- | Documentation/.gitignore | 1 |
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 |