post_install() {
  update-desktop-database -q
  gtk-update-icon-cache /usr/share/icons/hicolor
  cd /usr/share/info
  install-info pspp.info.gz dir
  install-info pspp-dev.info dir
}

pre_remove() {
  cd /usr/share/info
  install-info --remove pspp.info.gz dir
  install-info --remove pspp-dev.info dir
}

post_remove() {
  update-desktop-database -q
  gtk-update-icon-cache /usr/share/icons/hicolor
}
