[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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

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


 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

Reply to: