diff --git a/games/sea-defender/Makefile b/games/sea-defender/Makefile index 449bf9c14a4f..3076c563cec8 100644 --- a/games/sea-defender/Makefile +++ b/games/sea-defender/Makefile @@ -1,9 +1,5 @@ -# New ports collection makefile for: sea-defender -# Date created: 23 Jul 2010 -# Whom: Dmitry Marakasov -# +# Created by: Dmitry Marakasov # $FreeBSD$ -# PORTNAME= sea-defender PORTVERSION= r20100723 @@ -30,10 +26,12 @@ WRKSRC= ${WRKDIR}/${PORTNAME} PORTDOCS= README +.include + do-install: ${INSTALL_PROGRAM} ${WRKSRC}/sea ${PREFIX}/libexec/${PORTNAME} ${INSTALL_SCRIPT} ${WRKDIR}/${PORTNAME}.sh ${PREFIX}/bin/${PORTNAME} -.if !defined(NOPORTDOCS) +.if ${PORT_OPTIONS:MDOCS} ${MKDIR} ${DOCSDIR} ${INSTALL_DATA} ${WRKSRC}/README ${DOCSDIR} .endif