6 DOC_DIR="/home/$USER/MyDocs/.documents"
7 DESTDIR="$DOC_DIR/$PKG"
9 if [ ! -d $DESTDIR ]; then
13 if [ -x /usr/bin/gtk-update-icon-cache ]; then
14 /usr/bin/gtk-update-icon-cache -f /usr/share/icons/hicolor
17 if [ -x /usr/bin/update-desktop-database ]; then
18 /usr/bin/update-desktop-database
21 if [ -x /usr/bin/update-mime-database ]; then
22 /usr/bin/update-mime-database /usr/share/mime