diff options
| author | dwcjr <dwcjr@FreeBSD.org> | 2002-05-27 10:07:12 +0800 |
|---|---|---|
| committer | dwcjr <dwcjr@FreeBSD.org> | 2002-05-27 10:07:12 +0800 |
| commit | 387ad3db5c54ffc585b5753e4139b6f957086b46 (patch) | |
| tree | 370ec2bbccdc19500b53e088a6531ce7bf7e7a6f | |
| parent | d6eee8bb105825a5f99a906771a4b25fad39b462 (diff) | |
| download | freebsd-ports-gnome-387ad3db5c54ffc585b5753e4139b6f957086b46.tar.gz freebsd-ports-gnome-387ad3db5c54ffc585b5753e4139b6f957086b46.tar.zst freebsd-ports-gnome-387ad3db5c54ffc585b5753e4139b6f957086b46.zip | |
Override XFREE86_HTML_MAN
PR: 38523
Submitted by: Oliver Braun <obraun@informatik.unibw-muenchen.de>
| -rw-r--r-- | audio/workman/Makefile | 3 | ||||
| -rw-r--r-- | audio/workman/pkg-plist | 1 |
2 files changed, 2 insertions, 2 deletions
diff --git a/audio/workman/Makefile b/audio/workman/Makefile index 095bb93e04fc..d9644c46961d 100644 --- a/audio/workman/Makefile +++ b/audio/workman/Makefile @@ -14,14 +14,13 @@ DISTNAME= WorkMan-${PORTVERSION} MAINTAINER= ports@FreeBSD.Org -BROKEN= "Fails to package (html manpages)" - LIB_DEPENDS= xview.3:${PORTSDIR}/x11-toolkits/xview WRKSRC= ${WRKDIR}/workman USE_IMAKE= yes MAN1= workman.1 MAN5= workmandb.5 +XFREE86_HTML_MAN=no post-install: ${GZIP_CMD} ${X11BASE}/man/man5/workmandb.5 diff --git a/audio/workman/pkg-plist b/audio/workman/pkg-plist index 0490f6b6cbf4..16fb9bf137d6 100644 --- a/audio/workman/pkg-plist +++ b/audio/workman/pkg-plist @@ -1,2 +1,3 @@ bin/workman lib/help/workman.info +lib/X11/doc/html/workman.1.html |