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