diff options
| author | Emilio G. Cota <cota@braap.org> | 2011-08-08 12:33:04 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2011-08-08 20:30:12 +0400 |
| commit | 070648e9b7fcea628957a0aee0aae94a9c2967ec (patch) | |
| tree | 248112a2df881e06713b88d209d0ee1b95539681 /Documentation/.gitignore | |
| parent | e9e0643fe64b613b6596b79b59df8ff10746f1a1 (diff) | |
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/.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 |