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)
The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).
PR: ports/124340
Submitted by: edwin@
Approved by: portmgr (pav)
you to get the most out of the powerful Openbox menu system, while hiding
the xml layout from the user.
It can install dynamic menus (pipe menus), such as Gnome menus or a
quick-navigator. You can also use the obxml module to easily write pipe
menus of your own in Python.
WWW: http://obmenu.sourceforge.net/