# Do "make install" to copy the pages to their destination.
DESTDIR=
prefix?=/usr
MANDIR=$(prefix)/share/man
all: install
install:
for i in man*; do \
install -d -m 755 $(DESTDIR)$(MANDIR)/"$$i" || exit $$?; \
install -m 644 "$$i"/* $(DESTDIR)$(MANDIR)/"$$i" || exit $$?; \
done; \