Document for OPTIONS syntax in /etc/make.conf, where to find?

[Jonathan Chen]

On 25 May 2017 at 19:47, Thomas Mueller <mueller6722 at twc.com> wrote:
[...]
> The new synth has no mechanism for configuring options; I guess that would have to be done by
> make config-recursive ,
> possibly several times until there is nothing more left to configure, as I did when using portupgrade and later portmaster.

>From synth(1) man page:
     <profile>-make.conf
                       This is an optional, user-provided file. If it exists,
                       the builder's /etc/make.conf will be appended with the
                       contents of this file. For the default profile, the
                       file would normally be located at
                       /usr/local/etc/synth/LiveSystem-make.conf

Cheers.
-- 
Jonathan Chen <jonc at chen.org.nz>