From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 20 Dec 2020 23:57:29 +0000 (-0800)
Subject: doc: Use "rm", not nonexistent variable $(RM), in uninstall-local.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e298b626d78aab4d891e5e561ab1e04322cfe9cd;p=pspp

doc: Use "rm", not nonexistent variable $(RM), in uninstall-local.
---

diff --git a/doc/automake.mk b/doc/automake.mk
index e30c32054a..066b229e15 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -308,7 +308,7 @@ install-info-local:
 uninstall-local:
 	for p in $(INFO_SCREENSHOTS); do \
 		f=`basename $$p ` ; \
-		$(RM) $(DESTDIR)$(infodir)/screenshots/$$f ; \
+		rm -f $(DESTDIR)$(infodir)/screenshots/$$f ; \
 	done
 
 EXTRA_DIST+= $(SCREENSHOTS) doc/doc-make.in doc/screengrab