Marc Glisse <marc.glisse at inria.fr> writes: > Please report to gmp-bugs at gmplib.org I was wondering: would it make sense to replace this address by the URL: http://gmplib.org/manual/Reporting-Bugs.html ? Yes, some instructions are clearly needed. Perhaps one can override the 'report' automake variable? -- Torbjörn