$NetBSD: patch-ab,v 1.2 2005/09/02 02:27:12 jschauma Exp $

--- doc/release-notes/pvs-release-notes.info.orig	2004-11-04 03:54:45.000000000 -0500
+++ doc/release-notes/pvs-release-notes.info	2005-09-01 10:53:02.000000000 -0400
@@ -1,6 +1,13 @@
 This is pvs-release-notes.info, produced by makeinfo version 4.7 from
 pvs-release-notes.texi.
 
+INFO-DIR-SECTION Programming & development tools
+START-INFO-DIR-ENTRY
+* PVS Release notes: (pvs-release-notes).	PVS Specification and
+						Verification System release
+						notes.
+END-INFO-DIR-ENTRY
+
 This file contains the release notes for PVS versions 3.0 - 3.2
 
 Copyright 2002 SRI International