diff options
Diffstat (limited to 'devel/darcs/Makefile')
-rw-r--r-- | devel/darcs/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/devel/darcs/Makefile b/devel/darcs/Makefile index 38ad59a294fb..a4e874584a4f 100644 --- a/devel/darcs/Makefile +++ b/devel/darcs/Makefile @@ -6,8 +6,7 @@ # PORTNAME= darcs -PORTVERSION= 0.9.15 -PORTREVISION= 1 +PORTVERSION= 0.9.17 CATEGORIES= devel MASTER_SITES= http://www.abridgegame.org/darcs/ @@ -50,8 +49,6 @@ pre-everything:: .endif post-patch: - @${REINPLACE_CMD} -e 's|/usr/share/doc/darcs|${DOCSDIR}|' \ - ${WRKSRC}/darcsman.hs .if defined(WITH_SERVER) @${REINPLACE_CMD} -e 's|$$(libexecdir)/cgi-bin|${PREFIX}/${CGIDIR}| ; \ s|darcs/cgi.conf|cgi.conf.sample|' \ @@ -61,8 +58,7 @@ post-patch: .if defined(NOPORTDOCS) @${REINPLACE_CMD} -e '/$$(datadir)/d' ${WRKSRC}/${MAKEFILE} .else - @${REINPLACE_CMD} -e 's|$$(datadir)/doc|${DOCSDIR}| ; /darcs\.ps/d' \ - ${WRKSRC}/${MAKEFILE} + @${REINPLACE_CMD} -e '/darcs\.ps/d' ${WRKSRC}/${MAKEFILE} .endif post-configure: |