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 reporter_name="Ioannis E. VENETIS"
2 reporter_url="http://sourceware.org/ml/crossgcc/2008-06/msg00017.html"