post_install() {
cat << EOF
==> To use dvipdf, you need to install tetex:
==> # pacman -S tetex
EOF
}

post_upgrade() {
  post_install $1
}

op=$1
shift
$op $*