* man/makefile.w32-in (mostlyclean, clean, maintainer-clean): Use
$(DEL) instead of rm, and ignore exit code. * lispintro/makefile.w32-in (mostlyclean, clean, maintainer-clean): Use $(DEL) instead of rm, and ignore exit code. * lispref/makefile.w32-in (clean, maintainer-clean): Use $(DEL) instead of rm, and ignore exit code.
Showing
Please register or sign in to comment