I followed my nose and got as far as doing a make menuconfig, then a make.

I then tried make dist, but that whines about No rule to make 
target 'config-dist'

Is make dist the right way to populate distro? I assume that the download 
process from here is the same.

Thanks

Charles