gri/gri.install

   1 infodir=usr/share/info
   2 filelist=(gri.info.gz)
   3
   4 post_install() {
   5   for file in ${filelist[@]}; do
   6     install-info $infodir/$file $infodir/dir 2> /dev/null
   7   done
   8 }
   9
  10 post_upgrade() {
  11   post_install $1
  12 }
  13
  14 pre_remove() {
  15   for file in ${filelist[@]}; do
  16     install-info --delete $infodir/$file $infodir/dir 2> /dev/null
  17   done
  18 }