--- Makefile.old 2013-01-06 10:35:45.000000000 +0000 +++ Makefile 2013-01-06 10:36:08.000000000 +0000 @@ -30,7 +30,7 @@ do-install: ${INSTALL_SCRIPT} ${WRKSRC}/${PORTNAME} ${PREFIX}/bin/ ${INSTALL_MAN} ${WRKSRC}/sec.man ${PREFIX}/man/man8/sec.8 -.if empty(PORT_OPTIONS:MDOCS) +.if $(PORT_OPTIONS:MDOCS) ${MKDIR} ${DOCSDIR} .for file in ${PORTDOCS} ${INSTALL_MAN} ${WRKSRC}/${file} ${DOCSDIR}