#!/bin/sh
if makeinfo -h > /dev/null; then
echo "[OK] Texinfo installed..."
exit 0;
else
echo "[FAILED] Texinfo is not installed..."
exit 1
fi