--- lightning-2.0.0/doc/lightning.texi.orig 2013-01-24 22:07:51.000000000 +0100 +++ lightning-2.0.0/doc/lightning.texi 2013-08-28 17:30:55.808994221 +0200 @@ -3,6 +3,11 @@ @setfilename lightning.info +@dircategory Libraries: +@direntry +* GNU lightning: (lightning). A library for dynamic code generation +@end direntry + @set TITLE Using @sc{gnu} @i{lightning} @set TOPIC installing and using