# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1201916546 0
# Node ID 31f34c650d321910a544f2e32fa26f4260d3b011
# Parent  1ac518b328ba43a2376a617fba94b83932c80054
($(CHARPROP)): Use $(DEL) for deleting.

diff -r 1ac518b328ba -r 31f34c650d32 src/makefile.w32-in
--- a/src/makefile.w32-in	Sat Feb 02 01:17:40 2008 +0000
+++ b/src/makefile.w32-in	Sat Feb 02 01:42:26 2008 +0000
@@ -261,7 +261,7 @@
 $(CHARPROP):	$(UNIDATA) $(UNIDATA_GEN)
 	$(RUNTEMACS) -batch --load $(UNIDATA_GEN) -f unidata-gen-files $(UNIDATA)
 	$(CP) *.el ../lisp/international
-	$(RM) *.el
+	$(DEL) *.el
 
 $(UNIDATA): $(UNIDATA_SRC)
 	sed -e $(ARGQUOTE)s/\([^;]*\);\(.*\)/(#x\1 $(DQUOTE)\2$(DQUOTE))/$(ARGQUOTE) -e $(ARGQUOTE)s/;/$(DQUOTE) $(DQUOTE)/g$(ARGQUOTE) < $< > $@