db-move: moved webkitgtk-6.0 from [testing] to [extra] (x86_64)

[arch-packages.git] / mono-tools / trunk / mono-tools.install

post_remove() {
  rm -f  /usr/lib/monodoc/monodoc.index
  rm -rf /usr/lib/monodoc/search_index
}

# vim: ft=sh