diff -r f4145eeecb1d -r c27787270792 scripts/crosstool.sh
--- a/scripts/crosstool.sh	Thu May 15 20:42:45 2008 +0000
+++ b/scripts/crosstool.sh	Thu Jun 19 22:02:17 2008 +0000
@@ -400,6 +400,12 @@
         fi |CT_DoLog DEBUG
     done
 
+    # Some makeinfo versions are a pain in [put your most sensible body part here].
+    # Go ahead with those, by creating a wrapper that keeps partial files, and that
+    # never fails:
+    echo -e "#!/bin/sh\n$(CT_Which makeinfo) --force \"\${@}\"\ntrue" >"${CT_PREFIX_DIR}/bin/makeinfo"
+    chmod 700 "${CT_PREFIX_DIR}/bin/makeinfo"
+
     # Help gcc
     CT_CFLAGS_FOR_HOST=
     [ "${CT_USE_PIPES}" = "y" ] && CT_CFLAGS_FOR_HOST="${CT_CFLAGS_FOR_HOST} -pipe"
@@ -500,6 +506,7 @@
     find "${CT_PREFIX_DIR}/bin" -name "${CT_BUILD}-"'*' -exec rm -fv {} \; |CT_DoLog DEBUG
     find "${CT_PREFIX_DIR}/bin" -name "${CT_UNIQ_BUILD}-"'*' -exec rm -fv {} \; |CT_DoLog DEBUG
     find "${CT_PREFIX_DIR}/bin" -name "${CT_HOST}-"'*' -exec rm -fv {} \; |CT_DoLog DEBUG
+    rm -fv "${CT_PREFIX_DIR}/bin/makeinfo" |CT_DoLog DEBUG
 
     # Install the /populator/
     CT_DoLog EXTRA "Installing the populate helper"