David Kastrup <dak@xxxxxxx> writes: > 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 I think "rm" makes sense; the call to xmlto in this Makefile has been this way from day one, it seems ;-). The build rule for this target does not use "generate to temporary $@+ and after that is successful mv to the final $@" pattern, so we do not have to remove $@+ in this target, though. Thanks. - 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
