proofgeneral-cvs/proofgeneral.install

   1 post_install() {
   2     cat <<EOF
   3 ==> Put this in your $HOME/.emacs file to enable ProofGeneral mode
   4 ==> in emacs.
   5
   6     (load-file "/usr/share/emacs/site-lisp/ProofGeneral/generic/proof-site.el")
   7 EOF
   8 }
   9
  10
  11 post_upgrade() {
  12         post_install $1
  13 }
  14
  15 op=$1
  16 shift
  17 $op $*