blob: 6b7fee714fa720c8388eb0b66487349aac5bdb8a (
about) (
plain) (
blame)
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
|