yet another Makefile issue

Stephen Weeks MLton@sourcelight.com
Thu, 4 Oct 2001 15:24:46 -0700


> > 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>