lib32-libcdio/libcdio.install

   1 info_dir=/usr/share/info
   2
   3 post_install() {
   4   install-info ${info_dir}/libcdio.info.gz ${info_dir}/dir 2> /dev/null
   5 }
   6
   7 post_upgrade() {
   8   post_install $1
   9 }
  10
  11 pre_remove() {
  12   install-info --delete ${info_dir}/libcdio.info.gz ${info_dir}/dir 2> /dev/null
  13 }