This makes "make doc" work even if you made "sudo make doc" previously by mistake. Apparently an oversight: the other targets did this already. Signed-off-by: David Kastrup <dak@xxxxxxx> --- Documentation/Makefile | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/Documentation/Makefile b/Documentation/Makefile index 3bc5357..a186843 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -120,6 +120,7 @@ clean: mv $@+ $@ %.1 %.5 %.7 : %.xml + $(RM) $@+ $@ xmlto -m callouts.xsl man $< %.xml : %.txt -- 1.5.3.rc2.167.gbef44-dirty - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
