At the risk of loosing some context, but I didn't want to quote large
chunks of the message...

On Thu, 10 Dec 1998 at 22:07:00 -0500 (EST), Greg A. Woods wrote:

> There's also the most inelegant and annoying duplication in gnu/dist.

A simple idea that _may_ make everyone happy (the separatists and the
integrationists ;) is to have all GNU source in gnu/dist, but have the
reach-over directories in the "normal" source tree.  Is this workable?

Simon.