Log Message:
freemint-mintlib: fix texinfo problem

Now fails with
configure: error: cannot compute suffix of object files: cannot compile
See `config.log' for more details.