diff options
Diffstat (limited to 'src/man')
-rw-r--r-- | src/man/Makefile | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/man/Makefile b/src/man/Makefile index 1c1fd49a5..767920e2b 100644 --- a/src/man/Makefile +++ b/src/man/Makefile | |||
@@ -2,6 +2,10 @@ | |||
2 | ROOT = ../.. | 2 | ROOT = ../.. |
3 | -include $(ROOT)/config.mk | 3 | -include $(ROOT)/config.mk |
4 | 4 | ||
5 | GAWK ?= gawk | ||
6 | GZIP ?= gzip | ||
7 | RM ?= rm -f | ||
8 | |||
5 | MOD_DIR := $(ROOT)/src/man | 9 | MOD_DIR := $(ROOT)/src/man |
6 | MANPAGES_IN := $(sort $(wildcard $(MOD_DIR)/*.in)) | 10 | MANPAGES_IN := $(sort $(wildcard $(MOD_DIR)/*.in)) |
7 | MANPAGES_GZ := $(MANPAGES_IN:.in=.gz) | 11 | MANPAGES_GZ := $(MANPAGES_IN:.in=.gz) |
@@ -19,8 +23,8 @@ $(MOD_DIR)/%: $(MOD_DIR)/%.in $(ROOT)/config.mk | |||
19 | # foo.1.gz: foo.1 | 23 | # foo.1.gz: foo.1 |
20 | $(MOD_DIR)/%.gz: $(MOD_DIR)/% | 24 | $(MOD_DIR)/%.gz: $(MOD_DIR)/% |
21 | @printf 'Generating %s from %s\n' $@ $< | 25 | @printf 'Generating %s from %s\n' $@ $< |
22 | @rm -f $@ | 26 | @$(RM) $@ |
23 | @gzip -n9 $< | 27 | @$(GZIP) -n9 $< |
24 | 28 | ||
25 | .PHONY: clean | 29 | .PHONY: clean |
26 | clean:; rm -f *.1 *.5 *.gz | 30 | clean:; $(RM) *.1 *.5 *.gz |