Log Message:
Convert to USE_NEW_TEXINFO.
Set the INFO_DIR to pvs/doc/release-notes where the info file
pvs-release-notes.info gets installed.
Patch the info file so install-info finds a section and an entry in it
for the directory file.