infodir=/usr/share/info post_install() { install-info $infodir/bbe.info.gz $infodir/dir 2> /dev/null } post_upgrade() { post_install $1 } post_remove() { install-info delete $infodir/bbe.info.gz $infodir/dir 2> /dev/null }