The new make.conf options described here: https://lists.freebsd.org/pipermail/freebsd-ports-announce/2013-June/000062.html Are not yet in the manpage for make.conf.
Version: 10.1-RC1
make.conf.5 contains the following section: BUILDING PORTS Several make variables can be set that affect the building of ports. These variables and their effects are documented in ports(7), ${PORTSDIR}/Mk/* and the FreeBSD Porter's Handbook. make.conf.5 is not the most appropriate place to document variables like OPTIONS_SET which only affect ports builds. The particular variables in question are probably appropriate for ports.7, though, so I have retitled accordingly.
(In reply to Benjamin Kaduk from comment #2) > make.conf.5 contains the following section: > > BUILDING PORTS > Several make variables can be set that affect the building of ports. > These variables and their effects are documented in ports(7), > ${PORTSDIR}/Mk/* and the FreeBSD Porter's Handbook. > > make.conf.5 is not the most appropriate place to document variables like > OPTIONS_SET which only affect ports builds. The particular variables in > question are probably appropriate for ports.7, though, so I have retitled > accordingly. Thanks for clearing that up, as I am fairly new to FreeBSD I didn't know about the FreeBSD Porter's Handbook. :)
Whoops, I did not mean to close it just yet. Sorry.
Return the issue to the pool.
A commit references this bug: Author: 0mp Date: Tue Nov 3 13:26:00 UTC 2020 New revision: 367295 URL: https://svnweb.freebsd.org/changeset/base/367295 Log: Document how to set ports options via make.conf(5) This patch is based on: - https://lists.freebsd.org/pipermail/freebsd-ports-announce/2013-June/000062.html - current content of /usr/ports/Mk/bsd.options.mk PR: 194306 Reported by: Daan K. <daanknip__hotmail_com> MFC after: 2 weeks Changes: head/share/man/man7/ports.7