diff options
author | Jonathan McCrohan <jmccrohan@gmail.com> | 2012-05-14 17:56:30 +0100 |
---|---|---|
committer | Jonathan McCrohan <jmccrohan@gmail.com> | 2012-06-02 00:58:45 +0100 |
commit | 5f53f15682720131259bafe2785ef64ab1cf2deb (patch) | |
tree | f59533d4694053ea982fb612d4173330cc7314af /debian/prerm | |
parent | 4604f47979cd5b782dffff3bce7b43750afc35d3 (diff) | |
download | figlet-5f53f15682720131259bafe2785ef64ab1cf2deb.tar.gz |
Use alternatives for figlet manpage (closes: #403665)
Diffstat (limited to 'debian/prerm')
-rw-r--r-- | debian/prerm | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/debian/prerm b/debian/prerm index 8058a72..46ad531 100644 --- a/debian/prerm +++ b/debian/prerm @@ -3,10 +3,8 @@ set -e if [ "$1" = remove ]; then - # Remove alternative for figlet + # Remove alternatives for figlet update-alternatives --remove figlet /usr/bin/figlet-figlet fi #DEBHELPER# - - |