Package: monodoc-manual Severity: normal Hi,
when I purged monodoc(-manual), I got the following warning: Entferne monodoc-base ... Entferne monodoc-manual ... dpkg - Warnung: Während Entfernens von monodoc-manual ist Verzeichnis »/usr/lib/monodoc/sources« nicht leer, wird daher nicht gelöscht. dpkg - Warnung: Während Entfernens von monodoc-manual ist Verzeichnis »/usr/lib/monodoc« nicht leer, wird daher nicht gelöscht. And indeed, $ ls /usr/lib/monodoc/sources/ dbus-sharp-docs.source dbus-sharp-docs.tree dbus-sharp-docs.zip I have no clue, where this files are coming from, but I guess they were copied there by monodoc (if not, please reassign to the correct package). A dpkg -S does not reveal any package which is owning those files. Cheers, Michael -- System Information: Debian Release: squeeze/sid APT prefers unstable APT policy: (500, 'unstable'), (300, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.29.3 Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash monodoc-manual depends on no packages. Versions of packages monodoc-manual recommends: pn monodoc-browser | monodoc-htt <none> (no description available) Versions of packages monodoc-manual suggests: pn monodoc-gecko-manual <none> (no description available) pn monodoc-gtk-manual <none> (no description available) pn monodoc-nunit-manual <none> (no description available) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

