home *** CD-ROM | disk | FTP | other *** search
- #! /bin/sh -e
-
- install_from_default() {
- if [ ! -f $2 ]; then
- cp -p $1 $2
- fi
- }
-
- if [ "$1" = "configure" ] && [ "$2" = "" ]; then
- install_from_default /usr/share/readline/inputrc /etc/inputrc
- fi
-
- install-info --quiet --section "Miscellaneous" "Miscellaneous" \
- --description="GNU Readline Library API" /usr/share/info/rluserman.info.gz
-
-
-