From e0cb22485481351242dff65ab0cce9a7b6fc3400 Mon Sep 17 00:00:00 2001
From: Tom Willemsen
Date: Sun, 6 Jan 2013 15:59:16 +0100
Subject: Add install-strip target

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index bac58a5..b1bc198 100644
--- a/Makefile
+++ b/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
 
-- 
cgit v1.3-2-g0d8e