diff options
author | mat <mat@FreeBSD.org> | 2018-09-10 21:14:50 +0800 |
---|---|---|
committer | mat <mat@FreeBSD.org> | 2018-09-10 21:14:50 +0800 |
commit | 6baece3b7ae06d93445a0e0ecf02e59541a92a95 (patch) | |
tree | eaf052562fa1ad9b232918eb5e617ac1df0dd725 /x11/wbarconf/Makefile | |
parent | c6f82ca14271d2d9433ac4938a2188b9b6d092c1 (diff) | |
download | freebsd-ports-gnome-6baece3b7ae06d93445a0e0ecf02e59541a92a95.tar.gz freebsd-ports-gnome-6baece3b7ae06d93445a0e0ecf02e59541a92a95.tar.zst freebsd-ports-gnome-6baece3b7ae06d93445a0e0ecf02e59541a92a95.zip |
Add DOCS options to ports that should have one.
Also various fixes related to said option.
PR: 230864
Submitted by: mat
exp-runs by: antoine
Diffstat (limited to 'x11/wbarconf/Makefile')
-rw-r--r-- | x11/wbarconf/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/x11/wbarconf/Makefile b/x11/wbarconf/Makefile index 6239ce087621..529474d96edd 100644 --- a/x11/wbarconf/Makefile +++ b/x11/wbarconf/Makefile @@ -23,6 +23,8 @@ WRKSRC= ${WRKDIR}/${PORTNAME} PORTDOCS= README COPYING INSTALLS_ICONS= yes +OPTIONS_DEFINE= DOCS + do-install: ${INSTALL_SCRIPT} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin ${MKDIR} ${STAGEDIR}${DATADIR} |