Clifford Wolf:

scripts/Check-System

@@ -74,7 +74,7 @@ if [ -z "`type -p makeinfo`" ] ; then
 fi
 
 case $BASH_VERSION in
-  2.05b*) ;;
+  2.05b*|3.*) ;;
   *)	echo "The running bash version is not listed as supported version"
 	echo "You need to update 'bash' to at least version 2.05b."
 	found_error=1