MANDIR=/usr/man gz: for i in man?; do gzip $$i/*; done install: for i in man?; do \ install -d -m 755 $(MANDIR)/$$i; \ install -m 644 $$i/* $(MANDIR)/$$i; \ done