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'