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 /www/rsstool | |
| 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 'www/rsstool')
| -rw-r--r-- | www/rsstool/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/www/rsstool/Makefile b/www/rsstool/Makefile index b8a2e4f72783..3bf121cf9df6 100644 --- a/www/rsstool/Makefile +++ b/www/rsstool/Makefile @@ -17,6 +17,8 @@ BUILD_WRKSRC= ${WRKSRC}/src CONFIGURE_WRKSRC= ${WRKSRC}/src HAS_CONFIGURE= yes +OPTIONS_DEFINE= DOCS EXAMPLES + post-patch: @cd ${BUILD_WRKSRC}/&&${REINPLACE_CMD} -e 's|gcc|${CC}|' Makefile |