Subject: gnu vs. gnu/dist
To: None <current-users@NetBSD.ORG>
From: David Jones <dej@inode.org>
List: current-users
Date: 01/04/1998 18:06:58 
I notice that gnu and gnu/dist are both in the tree.  The dist directory
appears to contain parts of GAS and GDB.

Is there any point to having 35 MB of duplication in the tree?