seb 93684c46af 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.		2003-06-25 21:01:35 +00:00
..
patch-aa
patch-ab	Convert to USE_NEW_TEXINFO.	2003-06-25 21:01:35 +00:00