diff --git a/scripts/Check-System b/scripts/Check-System index 6498178b5..d9d84638e 100755 --- a/scripts/Check-System +++ b/scripts/Check-System @@ -59,6 +59,15 @@ if [ -z "`type -p bzip2`" ] ; then found_error=1 fi +if [ -z "`type -p makeinfo`" ] ; then + echo + echo "Paranoia Check: Program 'makeinfo' not found!" + echo "The makeinfo program is needed for translating Texinfo" + echo "documents. Please make sure that a current version of the" + echo "texinfo package (including makeinfo) is installed on your system." + found_error=1 +fi + case $BASH_VERSION in 2.05b*) ;; *) echo "The running bash version is not listed as supported version"