diff options
author | Emilio G. Cota <cota@braap.org> | 2011-08-08 04:33:05 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2011-08-08 09:30:14 -0700 |
commit | ae8044a2f542f5803c161ee510ac14492bc468d8 (patch) | |
tree | 8d089eaa4533ee447908a80e6b9b0ad200dc0dcf /Documentation/Makefile | |
parent | 070648e9b7fcea628957a0aee0aae94a9c2967ec (diff) | |
download | git-ae8044a2f542f5803c161ee510ac14492bc468d8.tar.gz git-ae8044a2f542f5803c161ee510ac14492bc468d8.tar.xz |
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 'Documentation/Makefile')
-rw-r--r-- | Documentation/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 36989b7f6..18c71d763 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -232,6 +232,7 @@ cmd-list.made: cmd-list.perl ../command-list.txt $(MAN1_TXT) clean: $(RM) *.xml *.xml+ *.html *.html+ *.1 *.5 *.7 $(RM) *.texi *.texi+ *.texi++ git.info gitman.info + $(RM) *.pdf $(RM) howto-index.txt howto/*.html doc.dep $(RM) technical/api-*.html technical/api-index.txt $(RM) $(cmds_txt) *.made |