diff options
Diffstat (limited to 'src/man')
-rw-r--r-- | src/man/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/man/Makefile b/src/man/Makefile index 1c1fd49a5..682aadaad 100644 --- a/src/man/Makefile +++ b/src/man/Makefile | |||
@@ -2,6 +2,8 @@ | |||
2 | ROOT = ../.. | 2 | ROOT = ../.. |
3 | -include $(ROOT)/config.mk | 3 | -include $(ROOT)/config.mk |
4 | 4 | ||
5 | GAWK ?= gawk | ||
6 | |||
5 | MOD_DIR := $(ROOT)/src/man | 7 | MOD_DIR := $(ROOT)/src/man |
6 | MANPAGES_IN := $(sort $(wildcard $(MOD_DIR)/*.in)) | 8 | MANPAGES_IN := $(sort $(wildcard $(MOD_DIR)/*.in)) |
7 | MANPAGES_GZ := $(MANPAGES_IN:.in=.gz) | 9 | MANPAGES_GZ := $(MANPAGES_IN:.in=.gz) |