1 2 3 4 5 6 7 8 9 10 11 12 13
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 }