[PATCH] When generating manpages, delete outdated targets first.
- From
David Kastrup <dak@gnu.org>
- Date
- Aug 1, 2007, 23:48 UTC
- Message-ID
- <S1753674AbXHBABb/20070802000131Z+363@vger.kernel.org>
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@gnu.org> --- 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