- mkdir -p $(DESTDIR)$(PREFIX)/share/man/man1 $(DESTDIR)$(PREFIX)/share/man/man7 $(DESTDIR)$(PREFIX)/share/man/man8
- install man/man1/* $(DESTDIR)$(PREFIX)/share/man/man1
- install man/man7/* $(DESTDIR)$(PREFIX)/share/man/man7
- install man/man8/* $(DESTDIR)$(PREFIX)/share/man/man8
+ mkdir -p $(DESTDIR)$(MANPREFIX)/man1 $(DESTDIR)$(MANPREFIX)/man7 $(DESTDIR)$(MANPREFIX)/man8
+ gzip -n man/*/*
+ install man/man1/* $(DESTDIR)$(MANPREFIX)/man1
+ install man/man7/* $(DESTDIR)$(MANPREFIX)/man7
+ install man/man8/* $(DESTDIR)$(MANPREFIX)/man8
+ gzip -d man/*/*