K 10
svn:author
V 3
mva
K 8
svn:date
V 27
2016-12-23T08:03:24.614740Z
K 7
svn:log
V 197
- Revert the switch from DOCS to DOXYGEN.

This restores the DOCS behaviour for building and installing additional
documentation along with the port itself, if requested by the user as
documented.

END