changing gmp install name

Jason Moxham
Wed, 15 Jan 2003 14:21:08 +0000

Here is the first attempt

NOTE: It should be consider highly experimental , and installing may (but=
hopefully not) cause problems for any existing gmp installation. see=20

There is not a lot there at the moment , I'm just trying things out.