plzip/plzip.install

   1 infodir=/usr/share/info
   2
   3 post_install() {
   4   install-info $infodir/plzip.info $infodir/dir &> /dev/null
   5 }
   6
   7 post_upgrade() {
   8   post_install $1
   9 }
  10
  11 pre_remove() {
  12   install-info --delete $infodir/plzip.info $infodir/dir &> /dev/null
  13 }