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