From: Ben Kaduk <kaduk@mit.edu>
Date: Mon, 10 Dec 2012 23:13:52 +0000 (-0500)
Subject: Don't use $(RM) in src/doc/Makefile.in
X-Git-Tag: krb5-1.12-alpha1~430
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=3f7394c1440f7526bc6f008f841b438d84411f3d;p=thirdparty%2Fkrb5.git

Don't use $(RM) in src/doc/Makefile.in

We allow these rules to be used in an unconfigured tree, and some
makes do not supply a value for RM by default.

ticket: 7492 (new)
subject: Doc build in unconfigured tree broken on some platforms
tags: pullup
target_version: 1.11
---

diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in
index 69ea475ed2..5f378bc850 100644
--- a/src/doc/Makefile.in
+++ b/src/doc/Makefile.in
@@ -117,7 +117,7 @@ paths.py:
 version.py: $(docsrc)/version.py
 
 $(docsrc)/version.py: $(top_srcdir)/patchlevel.h $(srcdir)/version.py.in
-	$(RM) $@
+	rm -f $@
 	$(CC) -E -I$(top_srcdir) - < $(srcdir)/version.py.in > $@
 
 clean::