diff options
Diffstat (limited to 'audio/mma/Makefile')
-rw-r--r-- | audio/mma/Makefile | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/audio/mma/Makefile b/audio/mma/Makefile index d27fab0..2871aa7 100644 --- a/audio/mma/Makefile +++ b/audio/mma/Makefile @@ -33,11 +33,7 @@ WRKSRC= ${WRKDIR}/${PORTNAME}-bin-${DISTVERSION} python_OLD_CMD= /usr/bin/env python -.include <bsd.port.options.mk> - -.if ${PORT_OPTIONS:MDOCS} -DISTFILES+= ${PORTNAME}-pdf-${DISTVERSION:S,a,,}.tar.gz -.endif +DOCS_DISTFILES= ${PORTNAME}-pdf-${DISTVERSION:S,a,,}.tar.gz post-patch: @(cd ${WRKSRC} && \ |