+ printf "Checking if makeinfo is available... "
+ if command -v makeinfo > /dev/null; then
+ printf "Yes.\n"
+ have_makeinfo=1
+ else
+ printf "No (so will not build info pages).\n"
+ fi
+ printf "Checking if install-info is available... "
+ if command -v install-info > /dev/null; then
+ printf "Yes.\n"
+ have_install_info=1
+ else
+ printf "No (so will not install info pages).\n"
+ fi