Module Name:	pkgsrc
Committed By:	seb
Date:		Wed Jun 25 21:01:36 UTC 2003

Modified Files:
	pkgsrc/devel/pvs: Makefile PLIST distinfo
Added Files:
	pkgsrc/devel/pvs/patches: patch-ab

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.


To generate a diff of this commit:
cvs rdiff -r1.6 -r1.7 pkgsrc/devel/pvs/Makefile
cvs rdiff -r1.3 -r1.4 pkgsrc/devel/pvs/PLIST pkgsrc/devel/pvs/distinfo
cvs rdiff -r0 -r1.1 pkgsrc/devel/pvs/patches/patch-ab

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.