cd56a34687
allows "make release" to find all of the documentation related ports it needs if you build a release with NOPORTS. This should be moved to within the port Makefile so we don't have to keep it updated in two different places. PR: docs/51305