diff options
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 |