diff options
| -rw-r--r-- | audio/workman/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/audio/workman/Makefile b/audio/workman/Makefile index e2e18e188a57..4143642483a2 100644 --- a/audio/workman/Makefile +++ b/audio/workman/Makefile @@ -21,4 +21,7 @@ USE_IMAKE= yes MAN1= workman.1 MAN5= workmandb.5 +post-install: + /usr/bin/gzip ${X11BASE}/man/man5/workmandb.5 + .include <bsd.port.mk> |