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