Bug#40706: usr/share/doc vs. /usr/doc

[Richard Braakman <dark@xs4all.nl>]

Manoj Srivastava wrote:
> Hi,
> >>"Richard" == Richard Braakman <dark@xs4all.nl> writes:
> 
>  Richard> The best thing to do is probably to make sure that /usr/doc/ and
>  Richard> /usr/share/doc end up on the same filesystem, but in separate
>  Richard> directories.
> 
>         Umm, how do we do that? We have really no control over how the
>  sys admin does partitioning ...

I was speaking to the sysadmin :-)

I think Debian should just move the files.  I don't trust any of the
symlinking proposals.  It may work in the usual case, but what happens
with downgrades?  With aborted installs?  dpkg was designed to reserve
that kind of symlink for the system administrator.

Richard Braakman