diff options
author | 2020-10-10 21:21:03 +0200 | |
---|---|---|
committer | 2020-10-10 21:21:16 +0200 | |
commit | f373fe14e591ee988dcf3fc857554c965c057290 (patch) | |
tree | a3008253d94153a2a5a6fd1c3b676059d7d34413 | |
parent | build: check for presence of gawk when manpages will be built (diff) | |
download | firejail-f373fe14e591ee988dcf3fc857554c965c057290.tar.gz firejail-f373fe14e591ee988dcf3fc857554c965c057290.tar.zst firejail-f373fe14e591ee988dcf3fc857554c965c057290.zip |
man: call preproc.awk via Makefile, as the shebang hardcodes the path
-rw-r--r-- | src/man/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/man/Makefile.in b/src/man/Makefile.in index 343aa97bf..1c4444307 100644 --- a/src/man/Makefile.in +++ b/src/man/Makefile.in | |||
@@ -2,7 +2,7 @@ all: firecfg.man firejail.man firejail-login.man firejail-users.man firejail-pro | |||
2 | include ../common.mk | 2 | include ../common.mk |
3 | 3 | ||
4 | %.man: %.txt | 4 | %.man: %.txt |
5 | ./preproc.awk $(MANFLAGS) < $< > $@ | 5 | gawk -f ./preproc.awk -- $(MANFLAGS) < $< > $@ |
6 | 6 | ||
7 | clean:; rm -fr *.man | 7 | clean:; rm -fr *.man |
8 | 8 | ||