post_install() {
    cat <<EOF
==> Put this in your $HOME/.emacs file to enable ProofGeneral mode
==> in emacs.

    (load-file "/usr/share/emacs/site-lisp/ProofGeneral/generic/proof-site.el")
EOF
}


post_upgrade() {
	post_install $1
}