> > Both the version of install-info on Red Hat 7.1 and the version on Red Hat > > 6.0 work identically with either a gmp/-stuff/info/dir file that consists ... <semi-serious> Maybe we shouldn't worry about this problem and should just go for requiring GMP 3, which then won't be part of our install process. </semi-serious>