diff options
| author |  Tom Willemsen | 2013-01-06 15:59:16 +0100 |
|---|---|---|
| committer | Tom Willemsen | 2013-01-06 15:59:16 +0100 |
| commit | e0cb22485481351242dff65ab0cce9a7b6fc3400 (patch) | |
| tree | 0bc33fb4afe9fd6dbdc80084b4b59634243bc4a4 /Makefile | |
| parent | 4fde21d9913a63e8f057543aefa5b4125d74bd85 (diff) | |
| download | markam-e0cb22485481351242dff65ab0cce9a7b6fc3400.tar.gz markam-e0cb22485481351242dff65ab0cce9a7b6fc3400.zip | |
Add install-strip target
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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 |