> >>"Richard" == Richard Braakman <[EMAIL PROTECTED]> 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.
