# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 827333502 0
# Node ID 831061a3e4f1c841c3d47dc52196f94ffc15ac5d
# Parent  3065719a83a9c3fcfe8c2efd79a20b6d2ae1885a
(install-strip): New target.

(top_distclean): Use `|| true' to ignore error in rm.
-f failed to do the job on Suns.

diff -r 3065719a83a9 -r 831061a3e4f1 Makefile.in
--- a/Makefile.in	Wed Mar 20 13:34:21 1996 +0000
+++ b/Makefile.in	Wed Mar 20 14:51:42 1996 +0000
@@ -388,6 +388,11 @@
 	   chmod a+r ${man1dir}/$${page}${manext}); \
 	done
 
+### Build Emacs and install it, stripping binaries while installing them.
+install-strip:
+        $(MAKE) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' \
+                install
+
 ### Build all the directories we're going to install Emacs in.	Since
 ### we may be creating several layers of directories (for example,
 ### /usr/local/lib/emacs/19.0/mips-dec-ultrix4.2), we use mkinstalldirs
@@ -468,7 +473,7 @@
 top_distclean=\
 	rm -f config.status config.cache config.log ; \
 	rm -f Makefile ${SUBDIR_MAKEFILES} ; \
-	(cd lock && rm -f *)
+	(cd lock && (rm * || true))
 distclean: FRC
 	(cd src;      $(MAKE) $(MFLAGS) distclean)
 	(cd oldXMenu; $(MAKE) $(MFLAGS) distclean)