projects
/
git.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f7ab5c7
)
Documentation: remove gitman.info with "make clean"
author
Junio C Hamano
<gitster@pobox.com>
Sun, 6 Jan 2008 03:09:09 +0000
(19:09 -0800)
committer
Junio C Hamano
<gitster@pobox.com>
Mon, 7 Jan 2008 02:41:43 +0000
(18:41 -0800)
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/Makefile
patch
|
blob
|
history
diff --git
a/Documentation/Makefile
b/Documentation/Makefile
index c6411741890e40dd37373e81b2b7103fd3cd22b2..7b0685b7b2fdc31cd6a79f611cb6c76b3aafd270 100644
(file)
--- 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