diff options
Diffstat (limited to 'development/gnulib/doinst.sh')
| -rw-r--r-- | development/gnulib/doinst.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/development/gnulib/doinst.sh b/development/gnulib/doinst.sh new file mode 100644 index 0000000000000..6b7fee714fa72 --- /dev/null +++ b/development/gnulib/doinst.sh @@ -0,0 +1,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 |