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