Re: options DOCS + EXAMPLES

2018-11-02 Thread Bob Eager
On Fri, 2 Nov 2018 11:33:11 +0100 Harry Schmalzbauer wrote: > Am 02.11.2018 um 11:24 schrieb Mathieu Arnold: > > On Fri, Nov 02, 2018 at 10:49:52AM +0100, Harry Schmalzbauer > > wrote: > >> Hello, > >> > >> found out that the need to define DOCS and EXAMPLES in > >> OPTIONS_DEFINE was made mand

Re: options DOCS + EXAMPLES

2018-11-02 Thread Harry Schmalzbauer
Am 02.11.2018 um 11:41 schrieb Mathieu Arnold: On Fri, Nov 02, 2018 at 11:33:11AM +0100, Harry Schmalzbauer wrote: Am 02.11.2018 um 11:24 schrieb Mathieu Arnold: On Fri, Nov 02, 2018 at 10:49:52AM +0100, Harry Schmalzbauer wrote: Hello, found out that the need to define DOCS and EXAMPLES in O

Re: options DOCS + EXAMPLES

2018-11-02 Thread Mathieu Arnold
On Fri, Nov 02, 2018 at 11:33:11AM +0100, Harry Schmalzbauer wrote: > Am 02.11.2018 um 11:24 schrieb Mathieu Arnold: > > On Fri, Nov 02, 2018 at 10:49:52AM +0100, Harry Schmalzbauer wrote: > > > Hello, > > > > > > found out that the need to define DOCS and EXAMPLES in OPTIONS_DEFINE was > > > made

Re: options DOCS + EXAMPLES

2018-11-02 Thread Harry Schmalzbauer
Am 02.11.2018 um 11:24 schrieb Mathieu Arnold: On Fri, Nov 02, 2018 at 10:49:52AM +0100, Harry Schmalzbauer wrote: Hello, found out that the need to define DOCS and EXAMPLES in OPTIONS_DEFINE was made mandatory some time ago, which ports-mgmt/portlint isn't aware about yet (found https://review

Re: options DOCS + EXAMPLES

2018-11-02 Thread Harry Schmalzbauer
Am 02.11.2018 um 10:49 schrieb Harry Schmalzbauer: Hello, found out that the need to define DOCS and EXAMPLES in OPTIONS_DEFINE was made mandatory some time ago, which ports-mgmt/portlint isn't aware about yet (found https://reviews.freebsd.org/D13036). I intentionally haven't defined it, be

Re: options DOCS + EXAMPLES

2018-11-02 Thread Mathieu Arnold
On Fri, Nov 02, 2018 at 10:49:52AM +0100, Harry Schmalzbauer wrote: > Hello, > > found out that the need to define DOCS and EXAMPLES in OPTIONS_DEFINE was > made mandatory some time ago, which ports-mgmt/portlint isn't aware about > yet (found https://reviews.freebsd.org/D13036). > > I intentiona