diff options
Diffstat (limited to '')
-rw-r--r-- | debian/prerm | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/debian/prerm b/debian/prerm new file mode 100644 index 0000000..6bc7471 --- /dev/null +++ b/debian/prerm @@ -0,0 +1,10 @@ +#!/bin/sh + +if [ "$1" = remove ]; then + # Remove alternative for figlet + update-alternatives --remove figlet /usr/bin/figlet-figlet +fi + +#DEBHELPER# + + |