$NetBSD: patch-ab,v 1.1 2003/06/25 21:01:36 seb Exp $

--- doc/release-notes/pvs-release-notes.info.orig	Sat Feb 15 05:37:27 2003
+++ doc/release-notes/pvs-release-notes.info
@@ -1,6 +1,13 @@
 This is pvs-release-notes.info, produced by makeinfo version 4.0 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 version 3.0
 
 Copyright 2002 SRI International
