diff options
Diffstat (limited to 'src/man/Makefile')
-rw-r--r-- | src/man/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/man/Makefile b/src/man/Makefile index 526ed7fcb..1c1fd49a5 100644 --- a/src/man/Makefile +++ b/src/man/Makefile | |||
@@ -13,7 +13,7 @@ all: $(TARGET) | |||
13 | # foo.1: foo.1.in | 13 | # foo.1: foo.1.in |
14 | $(MOD_DIR)/%: $(MOD_DIR)/%.in $(ROOT)/config.mk | 14 | $(MOD_DIR)/%: $(MOD_DIR)/%.in $(ROOT)/config.mk |
15 | @printf 'Generating %s from %s\n' $@ $< | 15 | @printf 'Generating %s from %s\n' $@ $< |
16 | @gawk -f $(MOD_DIR)/preproc.awk -- $(MANFLAGS) <$< | \ | 16 | @$(GAWK) -f $(MOD_DIR)/preproc.awk -- $(MANFLAGS) <$< | \ |
17 | $(MOD_DIR)/mkman.sh $(VERSION) >$@ | 17 | $(MOD_DIR)/mkman.sh $(VERSION) >$@ |
18 | 18 | ||
19 | # foo.1.gz: foo.1 | 19 | # foo.1.gz: foo.1 |