Bill Baxter wrote: > > I was hoping GetGnuWin32 was going to be a thing that let me click a box > to select "Executables only", but it turns out it's just a batch script > that wgets everything indiscriminately. Sadly, yes. But once it's created the directory tree for you it's easy enough to just delete contrib, include, lib, etc. Sean