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

[Manoj Srivastava <srivasta@debian.org>]

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

        manoj

-- 
 The camel has a single hump; The dromedary two; Or else the other way
 around. I'm never sure.  Are you? Ogden Nash
Manoj Srivastava   <srivasta@debian.org>  <http://www.debian.org/%7Esrivasta/>
Key C7261095 fingerprint = CB D9 F4 12 68 07 E4 05  CC 2D 27 12 1D F5 E8 6E