Mathieu Arnold e1ce905577 Rename the GTKDOC option to DOCS. ...

First, all those ports should also have had a DOCS option that would
have guarded the GTKDOC option, and then textproc/gtk-doc is pretty
light and does not warrant a separate option.

Discussed with:	portmgr
Approved by:	portmgr

2019-05-07 12:35:36 +00:00

..

distinfo

…

Makefile

…

pkg-descr

…

pkg-plist

…