diff options
| author | alex <alex@FreeBSD.org> | 2000-07-15 00:11:31 +0800 |
|---|---|---|
| committer | alex <alex@FreeBSD.org> | 2000-07-15 00:11:31 +0800 |
| commit | 268a29c40b7b22d1dd8573fecf0f0eee130ae9ec (patch) | |
| tree | bb79b30043d248423d36ae557e4a57a68d8dbc96 /audio | |
| parent | fa67c0a1c63c5f0b8e5ca910d94f10a482830f06 (diff) | |
| download | freebsd-ports-gnome-268a29c40b7b22d1dd8573fecf0f0eee130ae9ec.tar.gz freebsd-ports-gnome-268a29c40b7b22d1dd8573fecf0f0eee130ae9ec.tar.zst freebsd-ports-gnome-268a29c40b7b22d1dd8573fecf0f0eee130ae9ec.zip | |
Add post-install target in order to compress workmandb.5, too.
Noticed by: bento
Diffstat (limited to 'audio')
| -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> |