man-pages: include man3 in $out

The previous patch to this file removed the docdev output, but did
not actually provide the files that were in the docdev output in out.
This patch fixes the issue.