diff options
Diffstat (limited to 'misc/jmri/doinst.sh')
| -rw-r--r-- | misc/jmri/doinst.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/misc/jmri/doinst.sh b/misc/jmri/doinst.sh index c65169c708..50a085e059 100644 --- a/misc/jmri/doinst.sh +++ b/misc/jmri/doinst.sh @@ -4,3 +4,6 @@ else rm -f var/log/jmri/messages.log.new fi +if [ -x /usr/bin/update-desktop-database ]; then + /usr/bin/update-desktop-database -q usr/share/applications >/dev/null 2>&1 +fi |