Proposal to change all DOCS references to DOXYGEN in Makefile. It better describes the option, and it allows for conformity in choosing types of documentation used. Both doxygen and docs descriptions are defined in /usr/ports/Mk/bsd.options.desc.mk
The proposed edit allows the choice of DOXYGEN or DOCS documentation options to be set by using OPTIONS_SET or OPTIONS_UNSET in make.conf. These are two wholly different types of documentations. Without this, DOXYGEN has to be unset with the argument textproc_libe-book_UNSET=DOCS from make.conf.
I sent the proposal twice last month, and there hasn't been a response.
Here is the proposed edit, which is also common in other makefiles:
< OPTIONS_DEFINE= DOCS
> OPTIONS_DEFINE= DOXYGEN
< DOCS_BUILD_DEPENDS= doxygen:devel/doxygen
< DOCS_CONFIGURE_OFF= --without-docs
> DOXYGEN_BUILD_DEPENDS= doxygen:devel/doxygen
> DOXYGEN_CONFIGURE_OFF= --without-doxygen