diff options
| -rw-r--r-- | print/texinfo/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/print/texinfo/Makefile b/print/texinfo/Makefile index 0f3c046c4ea4..b84189f48d06 100644 --- a/print/texinfo/Makefile +++ b/print/texinfo/Makefile @@ -36,7 +36,7 @@ PLIST_SUB= TEXMF=${TEXMF} post-patch: ${CHMOD} 755 ${WRKSRC}/build-aux/install-sh ${CP} ${DISTDIR}/${DIST_SUBDIR}/texinfo.tex ${WRKSRC}/doc/ - ${CP} ${DISTDIR}/${DIST_SUBDIR}/texi2dvi ${WRKSRC}/util/ + ${INSTALL_SCRIPT} ${DISTDIR}/${DIST_SUBDIR}/texi2dvi ${WRKSRC}/util/ post-install: ${INSTALL_DATA} ${DISTDIR}/${DIST_SUBDIR}/htmlxref.cnf ${STAGEDIR}${DATADIR} |