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

[Benjamin Kaduk]

https://github.com/krb5/krb5/commit/3f7394c1440f7526bc6f008f841b438d84411f3d
commit 3f7394c1440f7526bc6f008f841b438d84411f3d
Author: Ben Kaduk <kaduk at mit.edu>
Date:   Mon Dec 10 18:13:52 2012 -0500

    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

 src/doc/Makefile.in |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in
index 69ea475..5f378bc 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::