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

[ron@microtronics.com.au (Ron)]

> >>"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 ...
> 
>         manoj

This was a DIY solution to a situation I unwittingly created on one of my
debian boxen by putting /usr/doc on its own partiton to save an overflowing
/usr

I don't think Richard intended that anything special should be done by
Debian with regard to this ;-)

best,
Ron.