diff options
| author |  Emilio G. Cota <cota@braap.org> | 2011-08-08 04:33:04 -0400 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2011-08-08 09:30:12 -0700 |
| commit | 070648e9b7fcea628957a0aee0aae94a9c2967ec (patch) | |
| tree | 248112a2df881e06713b88d209d0ee1b95539681 | |
| parent | add gitignore entry to description about how to write a builtin (diff) | |
| download | tgif-070648e9b7fcea628957a0aee0aae94a9c2967ec.tar.xz | |
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>
| -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 |