Bug#860143: rmdir: failed to remove '/usr/share/doc/cm-super': No such file or directory

["Trent W. Buck" <trentbuck@gmail.com>]

Package: cm-super
Version: 0.3.4-9
Severity: minor

Hi,

cm-super can't be installed when dpkg.cfg contains

    path-exclude=/usr/share/doc/*

because the postinst crashes while trying to remove /usr/share/doc/cm-super.

Debian Policy says that packages should work without /usr/share/doc/.

Please add something along these lines:

    if [ -d /usr/share/doc/cm-super ]
    then
        ....
    fi