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