diff options
| author | ehaupt <ehaupt@FreeBSD.org> | 2013-01-15 21:40:28 +0800 |
|---|---|---|
| committer | ehaupt <ehaupt@FreeBSD.org> | 2013-01-15 21:40:28 +0800 |
| commit | d17f4033ae11c1ef211b336b25eb38a014e0c74b (patch) | |
| tree | 98f96307b5a32cecd5d4e2104c22673c560b9789 /x11 | |
| parent | 7e85483bc4dd371692cb42e0670e76bc41c0a5ba (diff) | |
| download | freebsd-ports-gnome-d17f4033ae11c1ef211b336b25eb38a014e0c74b.tar.gz freebsd-ports-gnome-d17f4033ae11c1ef211b336b25eb38a014e0c74b.tar.zst freebsd-ports-gnome-d17f4033ae11c1ef211b336b25eb38a014e0c74b.zip | |
- Use DOC instead of NOPORTDOCS
- Pacify portlint
- Convert header
Diffstat (limited to 'x11')
| -rw-r--r-- | x11/gtk-launch/Makefile | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/x11/gtk-launch/Makefile b/x11/gtk-launch/Makefile index 96f3f2a502e9..0c45aae4eee9 100644 --- a/x11/gtk-launch/Makefile +++ b/x11/gtk-launch/Makefile @@ -1,9 +1,5 @@ -# New ports collection makefile for: gtk-launch -# Date created: 22 Jul 2005 -# Whom: Emanuel Haupt <ehaupt@critical.ch> -# +# Created by: Emanuel Haupt <ehaupt@critical.ch> # $FreeBSD$ -# PORTNAME= gtk-launch DISTVERSION= 1.1b @@ -23,6 +19,10 @@ PORTDOCS= INSTALL PORTSCOUT= skipv:1.1 +OPTIONS_DEFINE=DOCS + +.include <bsd.port.options.mk> + post-patch: ${ECHO_CMD} >> ${WRKSRC}/launch.c @@ -33,7 +33,7 @@ do-build: do-install: ${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${PREFIX}/bin -.if !defined(NOPORTDOCS) +.if ${PORT_OPTIONS:MDOCS} ${MKDIR} ${DOCSDIR} ${INSTALL_DATA} ${WRKSRC}/${PORTDOCS} ${DOCSDIR} .endif |