Bug#284800: tetex-base: Can't be removed: rmdir: `/usr/share/texmf/fonts/type1/pxr/': No such file or directory

[Frank Küster <frank@debian.org>]

Kurt Roeckx <Q@ping.be> wrote:

> Package: tetex-base
> Version: 2.0.2c-2
> Severity: serious

How cute. Hilmar, never again say "I don't expect serious bugs any
more" ;-(. I have yet found an important one on my own system, and now
this. 

> When trying to remove tetex-base I get the following error:
> Removing tetex-base ...
> rmdir: `/usr/share/texmf/fonts/type1/pxr/': No such file or
> directory

I cannot reproduce this. I installed tetex-base, -bin, -extra and
pxfonts on a woody system and dist-upgraded to sid, but after that
tetex-base could be removed fine.

But there is in fact something like a bug in our packages that is
related to that error: The directory /usr/share/texmf/fonts/type1/pxr/
was part of the pxfonts package in woody, and now tetex-base declares a
Conflicts and Replaces on pxfonts. But it does not declare "Provides",
because some files from pxfonts are in tetex-extra. This is still
sufficient to remove pxfonts upon dist-upgrade on my system.

Kurt, on your system, what is the output of

dpkg -l pxfonts txfonts
dpkg -S /usr/share/texmf/fonts/type1/pxr
ls /var/lib/dpkg/info/pxfonts*


Regards, Frank
-- 
Frank Küster
Inst. f. Biochemie der Univ. Zürich
Debian Developer