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 69ea475ed27038be44628debb063d5cfb3671e3e..5f378bc8509928917686917bad643cf897b37f5a 100644 (file)
--- 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::