# HG changeset patch
# User John Donoghue <john.donoghue@ieee.org>
# Date 1658322359 14400
# Node ID 6c9d803d4a833a242eb51edef110c2a9fdbd9fc1
# Parent  d44081b8cc2a420e1fdf1c7ca90fbaac34810459
* src/mpfr.mk: remove docs

diff -r d44081b8cc2a -r 6c9d803d4a83 src/mpfr.mk
--- a/src/mpfr.mk	Wed Jul 20 08:50:41 2022 -0400
+++ b/src/mpfr.mk	Wed Jul 20 09:05:59 2022 -0400
@@ -26,6 +26,9 @@
         --enable-threads=win32 \
         --with-gmp-include='$(HOST_INCDIR)'
         --with-gmp-lib='$(HOST_LIBDIR)'
-    $(MAKE) -C '$(1)' -j '$(JOBS)'
-    $(MAKE) -C '$(1)' -j '$(JOBS)' install
+    $(MAKE) -C '$(1)' -j '$(JOBS)' $(MXE_DISABLE_DOCS)
+    $(MAKE) -C '$(1)' -j '$(JOBS)' $(MXE_DISABLE_DOCS) install DESTDIR='$(3)'
+    if [ "$(ENABLE_DEP_DOCS)" == "no" ]; then \
+       rm -rf "$(3)$(HOST_PREFIX)/share/doc/mpfr"; \
+    fi
 endef