aboutsummaryrefslogtreecommitdiff
path: root/development/gnulib/doinst.sh
blob: 6b7fee714fa720c8388eb0b66487349aac5bdb8a (plain)
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