diff options
Diffstat (limited to 'multimedia/ffmpeg/Makefile')
-rw-r--r-- | multimedia/ffmpeg/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/multimedia/ffmpeg/Makefile b/multimedia/ffmpeg/Makefile index b359b1756ac9..aaba3aca3e11 100644 --- a/multimedia/ffmpeg/Makefile +++ b/multimedia/ffmpeg/Makefile @@ -293,6 +293,12 @@ post-extract: .endif # ${ARCH} == i386 post-patch: +# force detection of texi2html +.ifndef(NOPORTDOCS) + @${REINPLACE_CMD} -E \ + -e 's|^(texi2html=)no|\1yes|' \ + ${CONFIGURE_WRKSRC}/${CONFIGURE_SCRIPT} +.endif .ifndef(WITHOUT_FFMPEG_FFSERVER) @${SED} -e 's|%%PREFIX%%|${PREFIX}|; s|%%RC_SUBR%%|${RC_SUBR}|' \ ${FILESDIR}/ffserver.sh >${WRKDIR}/ffserver.sh |