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.