From dbe43c09e69095b3ce0a01a73061b67209c1d1fe Mon Sep 17 00:00:00 2001
From: Marius Gerbershagen <marius.gerbershagen@gmail.com>
Date: Wed, 18 Dec 2019 20:07:34 +0100
Subject: [PATCH] libffi: disable building the documentation

---
 src/aclocal.m4 | 2 +-
 src/configure  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/aclocal.m4 b/src/aclocal.m4
index ccb4eace9..a343b7e73 100644
--- a/src/aclocal.m4
+++ b/src/aclocal.m4
@@ -1143,7 +1143,7 @@ if test "${enable_libffi}" = "included"; then
    if (destdir=`${PWDCMD}`; cd libffi; \
        $srcdir/libffi/configure --disable-shared --prefix=${destdir} \
 	 --includedir=${destdir}/ecl/ --libdir=${destdir} --build=${build_alias} \
-	 --host=${host_alias} --disable-multi-os-directory \
+	 --host=${host_alias} --disable-multi-os-directory --disable-docs \
          CC="${CC} ${PICFLAG}" CFLAGS="$CFLAGS" \
 	 LDFLAGS="$LDFLAGS" CPPFLAGS="$CPPFLAGS"); then
      ECL_LIBFFI_HEADER='ecl/ffi.h'
diff --git a/src/configure b/src/configure
index 94bfc6a73..8a2569a39 100755
--- a/src/configure
+++ b/src/configure
@@ -6450,7 +6450,7 @@ $as_echo "$as_me: Configuring included libffi library:" >&6;}
    if (destdir=`${PWDCMD}`; cd libffi; \
        $srcdir/libffi/configure --disable-shared --prefix=${destdir} \
 	 --includedir=${destdir}/ecl/ --libdir=${destdir} --build=${build_alias} \
-	 --host=${host_alias} --disable-multi-os-directory \
+	 --host=${host_alias} --disable-multi-os-directory --disable-docs \
          CC="${CC} ${PICFLAG}" CFLAGS="$CFLAGS" \
 	 LDFLAGS="$LDFLAGS" CPPFLAGS="$CPPFLAGS"); then
      ECL_LIBFFI_HEADER='ecl/ffi.h'