gmp4/gmp.install

   1 info_dir=/usr/share/info
   2 info_files=(gmp.info gmp.info-1 gmp.info-2)
   3
   4 post_install() {
   5   [ -x usr/bin/install-info ] || return 0
   6   for f in ${info_files[@]}; do
   7     install-info ${info_dir}/$f.gz ${info_dir}/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 f in ${info_files[@]}; do
  18     install-info --delete ${info_dir}/$f.gz ${info_dir}/dir 2> /dev/null
  19   done
  20 }