Hi,
>>"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
--
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 <[EMAIL PROTECTED]> <http://www.debian.org/%7Esrivasta/>
Key C7261095 fingerprint = CB D9 F4 12 68 07 E4 05 CC 2D 27 12 1D F5 E8 6E