1 2 3 4 5 6 7
if ! grep "(gnulib)" usr/info/dir 1>/dev/null 2>/dev/null; then cat << EOF >> usr/info/dir Miscellaneous * Gnulib: (gnulib). The GNU Portability Library. EOF fi