1 2 3 4 5 6 7 8 9 10 11 12 13
--- edb.texi~ 2006-07-31 14:08:14.000000000 +0200 +++ edb.texi 2007-04-27 23:13:39.000000000 +0200 @@ -2,6 +2,10 @@ @c %**start of header @setfilename edb.info @settitle EDB -- The Emacs Database +@dircategory Emacs +@direntry +* EDB: (edb). The Emacs Database +@end direntry @paragraphindent 0 @c %**end of header