$NetBSD: patch-ac,v 1.1 2003/07/07 23:33:50 seb Exp $

--- doc/info/twelf.info.orig	2002-12-28 02:39:40.000000000 +0000
+++ doc/info/twelf.info
@@ -1,5 +1,11 @@
 This is twelf.info, produced by makeinfo version 4.2 from twelf.texi.
 
+INFO-DIR-SECTION Languages
+START-INFO-DIR-ENTRY
+* Twelf: (twelf).       The Twelf meta-language for proving properties of
+                        languages and logics.
+END-INFO-DIR-ENTRY
+
 
 Indirect:
 twelf.info-1: 71