On Thu, 29 Jul 1999, Joseph Carter wrote:
> We are still arguing how to migrate /usr/doc to /usr/share/doc on
> -policy.
> There have been ... many ... messages on the subject.
I'm aware of that but I hoped someone has a quick practical
solution , which keeps the system working.
Kind regards
Andreas.