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