diff options
Diffstat (limited to 'extra/kile/kile.install')
-rw-r--r-- | extra/kile/kile.install | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/extra/kile/kile.install b/extra/kile/kile.install deleted file mode 100644 index 9fe93eeac..000000000 --- a/extra/kile/kile.install +++ /dev/null @@ -1,13 +0,0 @@ -post_install() { - xdg-icon-resource forceupdate --theme hicolor &> /dev/null - update-mime-database usr/share/mime &> /dev/null - update-desktop-database -q -} - -post_upgrade() { - post_install -} - -post_remove() { - post_install -} |