summaryrefslogtreecommitdiff
path: root/toolchain/dependencies
diff options
context:
space:
mode:
authorBernhard Reutner-Fischer <rep.dot.nop@gmail.com>2007-02-15 14:07:08 +0000
committerBernhard Reutner-Fischer <rep.dot.nop@gmail.com>2007-02-15 14:07:08 +0000
commitf3c50a6cf2a322f94e51653784c2664348af2176 (patch)
tree49006785db778b61617748d1c45b00a891acb32e /toolchain/dependencies
parentea585cf1bcec90b8a754b2282b06610b297f6395 (diff)
- warn about missing makeinfo on the host.
Diffstat (limited to 'toolchain/dependencies')
-rwxr-xr-xtoolchain/dependencies/dependencies.sh7
1 files changed, 6 insertions, 1 deletions
diff --git a/toolchain/dependencies/dependencies.sh b/toolchain/dependencies/dependencies.sh
index bd88dcb06..81a8b8db2 100755
--- 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"
#############################################################