Split-up download and extract options into two separate files, because download options are begining to be numerous.
/trunk/config/global/extract.in | 193 1 192 0 ----------------------------------------------
/trunk/config/global/download.in | 52 1 51 0 ------------
/trunk/config/global.in | 3 2 1 0 +
3 files changed, 4 insertions(+), 244 deletions(-)
1 source config/global.in
2 source config/target.in
3 source config/toolchain.in
4 source config/kernel.in
5 source config/gmp_mpfr.in
6 source config/binutils.in
9 source config.gen/tools.in
10 source config.gen/debug.in