Bug 223541

Summary:	ports-mgmt/portlint: Require the DOCS option when %%PORTDOCS%% is used in pkg-plist
Product:	Ports & Packages	Reporter:	Yuri Victorovich <yuri>
Component:	Individual Port(s)	Assignee:	Joe Marcus Clarke <marcus>
Status:	Closed FIXED
Severity:	Affects Only Me	CC:	dmgk
Priority:	---	Keywords:	feature
Version:	Latest	Flags:	bugzilla: maintainer-feedback? (marcus)
Hardware:	Any
OS:	Any
URL:	https://reviews.freebsd.org/D13036

Description Yuri Victorovich freebsd_committer

2017-11-08 17:56:59 UTC

Please see mat@'s comment here: https://reviews.freebsd.org/D12987#270019

Comment 1 Dmitri Goutnik freebsd_committer

2017-11-10 17:31:23 UTC

https://reviews.freebsd.org/D13036

Comment 2 Joe Marcus Clarke freebsd_committer

2017-12-28 23:06:44 UTC

Check committed to my repo pending the next release.

Comment 3 Joe Marcus Clarke freebsd_committer

2017-12-28 23:48:21 UTC

Check committed to 2.17.15.