diff options
| author | adamw <adamw@FreeBSD.org> | 2014-07-16 11:34:56 +0800 |
|---|---|---|
| committer | adamw <adamw@FreeBSD.org> | 2014-07-16 11:34:56 +0800 |
| commit | e59a4b143e5a81be22c10888ea69fd7b283547b2 (patch) | |
| tree | fe6e6f1047f8d67869e24a29bf32f5ba72588a1c /x11-wm/wmanager-addons | |
| parent | dd23101ff5718a035365d041a14e0159b16908e9 (diff) | |
| download | freebsd-ports-gnome-e59a4b143e5a81be22c10888ea69fd7b283547b2.tar.gz freebsd-ports-gnome-e59a4b143e5a81be22c10888ea69fd7b283547b2.tar.zst freebsd-ports-gnome-e59a4b143e5a81be22c10888ea69fd7b283547b2.zip | |
Add DOCS option to the remaining staged ports where PORTDOCS appears
in the plist.
Diffstat (limited to 'x11-wm/wmanager-addons')
| -rw-r--r-- | x11-wm/wmanager-addons/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/x11-wm/wmanager-addons/Makefile b/x11-wm/wmanager-addons/Makefile index 2e483f64df93..99c845ba178a 100644 --- a/x11-wm/wmanager-addons/Makefile +++ b/x11-wm/wmanager-addons/Makefile @@ -12,6 +12,8 @@ COMMENT= Helper scripts and documentation for the X11 window manager selector USES= perl5 USE_PERL5= run +OPTIONS_DEFINE= DOCS + post-install: @${MKDIR} ${STAGEDIR}${DOCSDIR} .for file in Changes README THANKS TODO |