diff --git a/Documentation/Makefile b/Documentation/Makefile
index 76a15ff520fe444fe41c46dc17cac7b5df7731d5..39ec0ede0249da79be574d85e731f8a7b239d9db 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
$(cmds_txt): cmd-list.made
cmd-list.made: cmd-list.perl $(MAN1_TXT)
+ $(RM) $@
perl ./cmd-list.perl
date >$@
-git.7 git.html: git.txt core-intro.txt
+git.7 git.html: git.txt
clean:
$(RM) *.xml *.xml+ *.html *.html+ *.1 *.5 *.7 *.texi *.texi+ howto-index.txt howto/*.html doc.dep