diff options
Diffstat (limited to 'development')
-rw-r--r-- | development/gnome-inform7/doinst.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/development/gnome-inform7/doinst.sh b/development/gnome-inform7/doinst.sh index 6bacbd07f632a..d13dcaa004136 100644 --- a/development/gnome-inform7/doinst.sh +++ b/development/gnome-inform7/doinst.sh @@ -14,6 +14,6 @@ fi if [ -e usr/share/icons/hicolor/icon-theme.cache ]; then if [ -x /usr/bin/gtk-update-icon-cache ]; then - /usr/bin/gtk-update-icon-cache usr/share/icons/hicolor >/dev/null 2>&1 + /usr/bin/gtk-update-icon-cache -f usr/share/icons/hicolor >/dev/null 2>&1 fi fi |