parted-git/parted-git.install

   1 infodir="usr/share/info"
   2 filelist=('parted.info')
   3
   4 post_install() {
   5
   6         if [[ -x "/usr/bin/install-info" ]]; then
   7                 for file in ${filelist[@]}; do
   8                         install-info "${infodir}/${file}.gz" "${infodir}/dir" 2> /dev/null
   9                 done
  10         fi
  11
  12 }
  13
  14 post_upgrade() {
  15
  16         post_install
  17
  18 }
  19
  20 pre_remove() {
  21
  22         if [[ -x "/usr/bin/install-info" ]]; then
  23                 for file in ${filelist[@]}; do
  24                         install-info --delete "${infodir}/${file}" "${infodir}/dir" 2> /dev/null
  25                 done
  26         fi
  27
  28 }
  29