diff options
Diffstat (limited to 'src/man/Makefile.in')
| -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 | ||