diff options
Diffstat (limited to 'src/man/Makefile')
-rw-r--r-- | src/man/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/man/Makefile b/src/man/Makefile new file mode 100644 index 000000000..c83a4b7eb --- /dev/null +++ b/src/man/Makefile | |||
@@ -0,0 +1,14 @@ | |||
1 | .PHONY: all | ||
2 | all: firecfg.man firejail.man firejail-login.man firejail-users.man firejail-profile.man firemon.man jailcheck.man | ||
3 | |||
4 | ROOT = ../.. | ||
5 | include $(ROOT)/config.mk | ||
6 | |||
7 | %.man: %.txt | ||
8 | gawk -f ./preproc.awk -- $(MANFLAGS) < $< > $@ | ||
9 | |||
10 | .PHONY: clean | ||
11 | clean:; rm -fr *.man | ||
12 | |||
13 | .PHONY: distclean | ||
14 | distclean: clean | ||