diff --git a/math/mpfr/Makefile b/math/mpfr/Makefile index 909cd226c03..5d3cb322216 100644 --- a/math/mpfr/Makefile +++ b/math/mpfr/Makefile @@ -18,7 +18,7 @@ LICENSE_FILE= ${WRKSRC}/COPYING.LESSER LIB_DEPENDS= libgmp.so:math/gmp -USES= gmake libtool makeinfo pathfix tar:xz +USES= gmake libtool pathfix tar:xz #PATCHLEVEL= 12 #PATCHFILES!= /usr/bin/jot -s " " -w patch%02d ${PATCHLEVEL} 1 ${PATCHLEVEL} @@ -29,10 +29,13 @@ INSTALL_TARGET= install-strip TEST_TARGET= check USE_LDCONFIG= yes -INFO= mpfr - PORTDOCS= * -OPTIONS_DEFINE= DOCS +OPTIONS_DEFINE= DOCS INFO +OPTIONS_DEFAULT= INFO + +INFO_EXTRA_PATCHES_OFF= ${PATCHDIR}/extra-patch-no-info +INFO_USES= makeinfo +INFO_INFO= mpfr .include diff --git a/math/mpfr/files/extra-patch-no-info b/math/mpfr/files/extra-patch-no-info new file mode 100644 index 00000000000..d824c0e57f2 --- /dev/null +++ b/math/mpfr/files/extra-patch-no-info @@ -0,0 +1,20 @@ +--- doc/Makefile.in.orig 2020-07-10 14:59:02.000000000 +0300 ++++ doc/Makefile.in 2022-10-16 13:51:10.556330000 +0300 +@@ -582,7 +582,7 @@ + dist-info + check-am: all-am + check: check-am +-all-am: Makefile $(INFO_DEPS) $(DATA) ++all-am: Makefile $(DATA) + installdirs: + for dir in "$(DESTDIR)$(infodir)" "$(DESTDIR)$(docdir)"; do \ + test -z "$$dir" || $(MKDIR_P) "$$dir"; \ +@@ -637,7 +637,7 @@ + + info-am: $(INFO_DEPS) + +-install-data-am: install-dist_docDATA install-info-am ++install-data-am: install-dist_docDATA + + install-dvi: install-dvi-am +