Add install-strip target

Makefile

@@ -7,6 +7,7 @@ export INSTALL_DATA = $(INSTALL) -m 644
 dirs = src doc conkeror
 install-dirs = $(addprefix install-,$(dirs))
 uninstall-dirs = $(addprefix uninstall-,$(dirs))
+install-strip-dirs = $(addprefix installstrip-,$(dirs))
 
 .PHONY: all $(dirs) install $(install-dirs) uninstall $(uninstall-dirs) \
 	dvi install-dvi pdf install-pdf ps install-ps
@@ -14,6 +15,7 @@ uninstall-dirs = $(addprefix uninstall-,$(dirs))
 all: $(dirs)
 install: $(install-dirs)
 uninstall: $(uninstall-dirs)
+install-strip: $(install-strip-dirs)
 
 $(dirs):
 	$(MAKE) -C $@
@@ -24,6 +26,9 @@ $(install-dirs): install-%:
 $(uninstall-dirs): uninstall-%:
 	$(MAKE) -C $*/ uninstall
 
+$(install-strip-dirs): installstrip-%:
+	$(MAKE) -C $*/ install-strip
+
 dvi:
 	$(MAKE) -C doc/ dvi
 

conkeror/Makefile

@@ -7,5 +7,8 @@ install: markam.js
 	$(INSTALL_DATA) markam.js \
 		"$(DESTDIR)/share/conkeror/modules/markam.js"
 
+install-strip:
+	$(MAKE) install
+
 uninstall:
 	rm -f "$(DESTDIR)/share/conkeror/modules/markam.js"

doc/Makefile

@@ -13,6 +13,9 @@ install: markam.info
 	$(INSTALL_INFO) --dir-file="$(DESTDIR)/share/info/dir" \
 		"$(DESTDIR)/share/info/markam.info"
 
+install-strip:
+	$(MAKE) install
+
 uninstall:
 	$(INSTALL_INFO) --dir-file="$(DESTDIR)/share/info/dir" \
 		--delete "$(DESTDIR)/share/info/markam.info"

src/Makefile

@@ -6,11 +6,14 @@ install-binaries = $(addprefix install-,$(binaries))
 uninstall-binaries = $(addprefix uninstall-,$(binaries))
 objects = paths.o common.o
 
-.PHONY: all install $(install-binaries) uninstall $(uninstall-binaries)
+.PHONY: all install $(install-binaries) uninstall $(uninstall-binaries) \
+	install-strip
 
 all: $(binaries)
 install: $(install-binaries)
 uninstall: $(uninstall-binaries)
+install-strip:
+	$(MAKE) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install
 
 markam: markam.scm $(objects)
 	$(CSC) $^ -o $@