Log Message:
Convert to USE_NEW_TEXINFO.
Patch Makefile.in to use MAKEINFO and INSTALL_INFO from environment.

XXX DESCR could use a bit of trimming.