diff options
Diffstat (limited to 'print/gl2ps/Makefile')
| -rw-r--r-- | print/gl2ps/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/print/gl2ps/Makefile b/print/gl2ps/Makefile index 9ac6917a9cf3..5201c3bd63b0 100644 --- a/print/gl2ps/Makefile +++ b/print/gl2ps/Makefile @@ -15,6 +15,8 @@ USE_XORG= x11 xmu xi USE_LDCONFIG= yes WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION}-source +OPTIONS_DEFINE= DOCS + pre-build: @${CP} ${FILESDIR}/Makefile.lib ${WRKSRC}/Makefile @@ -33,9 +35,7 @@ do-install: s|%%LOCALBASE%%|${LOCALBASE}|g' \ <${FILESDIR}/Makefile.ex >${STAGEDIR}${EXAMPLESDIR}/Makefile -.ifndef (NOPORTDOCS) @${MKDIR} ${STAGEDIR}${DOCSDIR} ${INSTALL_DATA} ${WRKSRC}/gl2ps.pdf ${STAGEDIR}${DOCSDIR} -.endif .include <bsd.port.mk> |