···3434fi
35353636# These are the tools this script requires and depends upon.
3737-reqtools="gcc bzip2 make patch"
3737+reqtools="gcc bzip2 make patch makeinfo"
38383939##############################################################################
4040# Functions: