Do not try to download, extract, or build GMP and MPFR if not asked for.
/trunk/scripts/build/gmp.sh | 12 11 1 0 +++++++++++-
/trunk/scripts/build/mpfr.sh | 11 11 0 0 +++++++++++
2 files changed, 22 insertions(+), 1 deletion(-)
4 font-family: verdana, arial, helvetica, sans-serif;
6 background-color: white;
9 /* part 1 of 2 centering hack */
19 /* opera does not like 'margin:20px auto' */
21 border: 3px groove #333;
23 /* part 2 of 2 centering hack */
24 width: 620px; /* ie5win fudge begins */
25 voice-family: "\"}\"";
31 width: 584px; /* ie5win fudge ends */
35 border:1px solid black;
42 font-family:verdana, sans-serif;
51 font-family:verdana, sans-serif;