Bug#860143: rmdir: failed to remove '/usr/share/doc/cm-super': No such file or directory
Hi Trent,
> path-exclude=/usr/share/doc/*
Interesting, never heard of that option ...
> because the postinst crashes while trying to remove /usr/share/doc/cm-super.
Indeed.
> Please add something along these lines:
Thanks, this is the first change in about 5 years in cm-super, I have
commited these changes (cm-super and cm-super-x11) to our repository,
but I guess it is too late for stretch.
Sincerely yours
Norbert
--
PREINING Norbert http://www.preining.info
Accelia Inc. + JAIST + TeX Live + Debian Developer
GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
Reply to: