Bug#446307: jed-extra: Files left after package removal

[Rafael Laboissiere]

Package: jed-extra
Version: 2.4-1
Severity: normal

After package removal or purge, some files are left in the system:

$ ls -R /usr/share/jed/jed-extra/
/usr/share/jed/jed-extra/:
drop-in  extra  ini.sl  libfuns.txt  utils

/usr/share/jed/jed-extra/drop-in:
ini.sl  libfuns.txt

/usr/share/jed/jed-extra/extra:
ini.sl  libfuns.txt

/usr/share/jed/jed-extra/utils:
ini.sl  libfuns.txt

I think that these files,as well as their parent directories if empty,
should be removed in the prerm script.

-- 
Rafael