summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2008-01-05 19:09:09 -0800
committerJunio C Hamano <gitster@pobox.com>2008-01-06 18:41:43 -0800
commit4c785e50debe13c4cdc3cfae7c6bc4977f6eef3d (patch)
tree69ac3af024bc37348cf7c9ed7fb56c8c3f3bf3d3
parentf7ab5c793707082d41e19093f536cdc0d45d8830 (diff)
downloadgit-4c785e50debe13c4cdc3cfae7c6bc4977f6eef3d.tar.gz
Documentation: remove gitman.info with "make clean"
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r--Documentation/Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile
index c641174189..7b0685b7b2 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -145,7 +145,8 @@ cmd-list.made: cmd-list.perl ../command-list.txt $(MAN1_TXT)
git.7 git.html: git.txt
clean:
- $(RM) *.xml *.xml+ *.html *.html+ *.1 *.5 *.7 *.texi *.texi+ git.info
+ $(RM) *.xml *.xml+ *.html *.html+ *.1 *.5 *.7
+ $(RM) *.texi *.texi+ git.info gitman.info
$(RM) howto-index.txt howto/*.html doc.dep
$(RM) technical/api-*.html technical/api-index.txt
$(RM) $(cmds_txt) *.made