# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1185610254 0
# Node ID 55a39357e1396f8ec5d8e2d334fbc40a8015e738
# Parent  00d15b089d4530fbe86b68457fb8fcdeb74afc55
(install-arch-indep): Use "rm -f" for removing DOC, to avoid an error message
if there is no DOC there.

diff -r 00d15b089d45 -r 55a39357e139 Makefile.in
--- a/Makefile.in	Sat Jul 28 08:09:08 2007 +0000
+++ b/Makefile.in	Sat Jul 28 08:10:54 2007 +0000
@@ -478,7 +478,7 @@
 	   (cd ./etc; tar -chf - DOC*) \
 	     |(cd $(DESTDIR)${docdir}; umask 022; tar -xvf - && cat > /dev/null) || exit 1; \
 	   (cd $(DESTDIR)$(docdir); chown $${LOGNAME:-$$USERNAME} DOC*; chmod a+r DOC*; \
-	    if test "`echo DOC-*`" != "DOC-*"; then rm DOC; fi); \
+	    if test "`echo DOC-*`" != "DOC-*"; then rm -f DOC; fi); \
 	else true; fi
 	-unset CDPATH; \
 	if [ -r ./lisp ] \