ports like the hp300 (or i386, or ...) will never get a chance to build or install the manual page. For this reason, the page belongs in the x68k machine-dependent list, not the "shared machine-dependent" pages.