mpfi/mpfi.install

   1 info_dir=usr/share/info
   2
   3 post_install() {
   4   install-info ${info_dir}/mpfi.info.gz ${info_dir}/dir
   5 }
   6
   7 post_upgrade() {
   8   post_install
   9 }
  10
  11 pre_remove() {
  12   install-info --delete ${info_dir}/mpfi.info.gz ${info_dir}/dir
  13 }
  14
  15 pre_upgrade() {
  16     pre_remove
  17 }