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

[Tom Yu]

https://github.com/krb5/krb5/commit/3a911a0d61e6ad6e178949b13174fc05ee468c4e
commit 3a911a0d61e6ad6e178949b13174fc05ee468c4e
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.
    
    (cherry picked from commit 3f7394c1440f7526bc6f008f841b438d84411f3d)
    
    ticket: 7492
    version: 1.11
    status: resolved

 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::