Use PORT_OPTIONS:MDOCS instead of NOPORTDOCS