blob: 010d680f5861e7befdd7bfd7f6d9f2c8c80e354e (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
if [ -x /usr/bin/xdg-desktop-menu ]; then
/usr/bin/xdg-desktop-menu install \
usr/share/desktop-directories/vice-org-vice-org.directory \
usr/share/applications/vice-org-*.desktop
fi
if [ -x /usr/bin/update-desktop-database ]; then
/usr/bin/update-desktop-database -q usr/share/applications >/dev/null 2>&1
fi
chroot . /usr/bin/install-info --info-dir=/usr/info /usr/info/vice.info.gz
|
