1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
infodir=usr/share/info file=gnuit.info post_install() { [[ -x usr/bin/install-info ]] || return 0 install-info "$infodir/$file.gz" "$infodir/dir" 2> /dev/null } post_upgrade() { post_install "$1" } pre_remove() { [[ -x usr/bin/install-info ]] || return 0 install-info --delete "$infodir/$file.gz" "$infodir/dir" 2> /dev/null }