Martin Quinson wrote: > I've seen a lot of effort to remove all files from /usr/doc in profit to > /usr/share/doc, but nobody trying to enforce the part "13.4 Accessing the > documentation" of the policy. Well, not so -- I have searched out and filed bugs on exactly this before. Normal proprity IIRC, but most of them were fixed. This was about 9 months ago.. -- see shy jo