[Bug 231482] ports-mgmt/portlint: Please complain about DOCS in OPTIONS_DEFAULT

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=231482

            Bug ID: 231482
           Summary: ports-mgmt/portlint: Please complain about DOCS in
                    OPTIONS_DEFAULT
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Keywords: feature, needs-patch
          Severity: Affects Only Me
          Priority: ---
         Component: Individual Port(s)
          Assignee: marcus at FreeBSD.org
          Reporter: 0mp at FreeBSD.org
                CC: mat at FreeBSD.org
          Assignee: marcus at FreeBSD.org
             Flags: maintainer-feedback?(marcus at FreeBSD.org)

As per mat@'s comment[1]:

> OPTIONS_DEFAULT= DOCS
>> This is not required, DOCS is always added to OPTIONS_DEFAULT.

It would be nice if portlint complained about adding DOCS to OPTIONS_DEFAULT.

[1]: https://reviews.freebsd.org/D16339#366424

----

(Although personally I'd prefer all the OPTIONS_DEFAULT to be explicitly
listed. I'm not sure if I'm a fan of DOCS (and potentially others) being always
added to OPTIONS_DEFAULT by default. I find it non-intuitive.)

-- 
You are receiving this mail because:
You are the assignee for the bug.