grub-gfx/grub-gfx.install

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