Log Message:
Convert to USE_NEW_TEXINFO.

XXX Only one of RPLAY.info and rplay.info info files is registered
in the Info directory file. This is because install-info(1)
is case insensitive when dealing with info file filenames.
Unless RPLAY.{info,texi} are renamed I do not see a clean way
to get around this...