- warn about missing makeinfo on the host.

diff --git a/toolchain/dependencies/dependencies.sh b/toolchain/dependencies/dependencies.sh
index bd88dcb0607a19d64a679856990d75273b125251..81a8b8db298d9e4c9a0779c2e034c026304be774 100755 (executable)
--- a/toolchain/dependencies/dependencies.sh
+++ b/toolchain/dependencies/dependencies.sh
@@ -248,7 +248,12 @@ fi;
 echo "gettext installed:                               Ok"
 
 
-
+if ! which makeinfo > /dev/null ; then \
+       echo "makeinfo installed:                   FALSE"
+       /bin/echo -e "\n\nMost likely some packages will fail to build their documentation"
+       /bin/echo -e "Either install 'makeinfo' on your host or fix the respective packages"
+fi
+echo "makeinfo installed:                              Ok"
 
 
 #############################################################