diff options
author | Emilio G. Cota <cota@braap.org> | 2011-08-08 12:33:05 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2011-08-08 20:30:14 +0400 |
commit | ae8044a2f542f5803c161ee510ac14492bc468d8 (patch) | |
tree | 8d089eaa4533ee447908a80e6b9b0ad200dc0dcf /git-filter-branch.sh | |
parent | 070648e9b7fcea628957a0aee0aae94a9c2967ec (diff) |
Documentation/Makefile: add *.pdf to `clean' target
user-manual.pdf is not removed by `make clean'; fix it.
Signed-off-by: Emilio G. Cota <cota@braap.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-filter-branch.sh')
0 files changed, 0 insertions, 0 deletions