Mathieu Arnold e1bfdfbe56 Add DOCS options to ports that should have one. ...

Also various fixes related to said option.

PR:		230864
Submitted by:	mat
exp-runs by:	antoine

2018-09-10 13:14:50 +00:00

..

distinfo

java/jdk8-doc: update 8u172 -> 8u181

2018-08-30 20:25:42 +00:00

Makefile

Add DOCS options to ports that should have one.

2018-09-10 13:14:50 +00:00

pkg-descr

…