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