From 5005b67362a735dc18d3d85170eae34e1fb6feab Mon Sep 17 00:00:00 2001 From: Emanuel Haupt Date: Mon, 10 Feb 2014 13:54:26 +0000 Subject: According to the Porter's Handbook (5.12.2.3.) default options must be added to OPTIONS_DEFINE. This policy has been implemented only recently that's why we have many ports violating this policy. This patch adds the default options specified in the Porter's Handbook to OPTIONS_DEFINE where they are being used. Ports maintained by gnome@FreeBSD.org, kde@FreeBSD.org and x11@FreeBSD.org have been excluded. Approved by: portmgr (bapt) --- graphics/php5-swfed/Makefile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'graphics/php5-swfed') diff --git a/graphics/php5-swfed/Makefile b/graphics/php5-swfed/Makefile index 1e3e97f70a9f..f9875d59fb29 100644 --- a/graphics/php5-swfed/Makefile +++ b/graphics/php5-swfed/Makefile @@ -29,6 +29,8 @@ PLIST_SUB= WWWOWN=${WWWOWN} WWWGRP=${WWWGRP} PORTDOCS= readme.txt PORTEXAMPLES= * +OPTIONS_DEFINE= DOCS EXAMPLES + .include post-install: -- cgit v1.2.3