numdiff/numdiff.install

   1 post_install() {
   2   [ -x usr/bin/install-info ] && install-info /usr/share/info/numdiff.info.gz /usr/share/info/dir 2> /dev/null
   3 }
   4
   5 post_upgrade() {
   6   post_install $1
   7 }
   8
   9 pre_remove() {
  10   [ -x usr/bin/install-info ] && install-info --delete /usr/share/info/numdiff.info.gz /usr/share/info/dir 2> /dev/null
  11 }