changing gmp install name

Kevin Ryde user42@zip.com.au
Thu, 09 Jan 2003 05:25:34 +1000

Previous message: changing gmp install name
Next message: changing gmp install name
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Jason Moxham <J.L.Moxham@maths.soton.ac.uk> writes:
>
> except for the info files

See @setfilename in gmp.texi.

Previous message: changing gmp install name
Next message: changing gmp install name
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]