annotate package-files/linux/deb/postrm @ 37:4fdd2f7e2cec

Prune out more deadwood.
author David Barts <n5jrn@me.com>
date Fri, 01 May 2020 07:49:16 -0700
parents d175593317a8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
34
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
1 #!/bin/sh
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
2 set -e
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
3 if [ -x "`which update-menus 2>/dev/null`" ]; then update-menus ; fi