diff options
Diffstat (limited to '')
| -rw-r--r-- | man/man7/Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/man/man7/Makefile b/man/man7/Makefile new file mode 100644 index 0000000..c0e545a --- /dev/null +++ b/man/man7/Makefile @@ -0,0 +1,18 @@ +# SPDX-License-Identifier: GPL-2.0 +MAN7PAGES = $(wildcard *.7) + +all: + +distclean: clean + +clean: + +install: + $(INSTALLDIR) $(DESTDIR)$(MANDIR)/man7 + $(INSTALLMAN) $(MAN7PAGES) $(DESTDIR)$(MANDIR)/man7 + +check: + @for page in $(MAN7PAGES); do test 0 -eq $$($(MAN_CHECK) $$page \ + $(MAN_REDIRECT)) || { echo "Error in $$page"; exit 1; }; done + +.PHONY: install clean distclean check |