--- doc/gmediaserver.info.patch	2007-11-10 15:56:17.000000000 +0100
+++ doc/gmediaserver.info	2007-11-18 21:36:49.000000000 +0100
@@ -1,6 +1,10 @@
 This is gmediaserver.info, produced by makeinfo version 4.8 from
 gmediaserver.texi.
 
+START-INFO-DIR-ENTRY
+* gmediaserver: (gmediaserver).  UPnP compatible media server for the GNU system
+END-INFO-DIR-ENTRY
+
   This manual was last updated 10 November 2007 for version 0.13.0 of
 GMediaServer.
 

--- ./doc/gmediaserver.texi	2006-08-31 21:39:50.000000000 +0200
+++ ./doc/gmediaserver.texi	2007-01-21 16:24:19.000000000 +0100
@@ -21,6 +21,13 @@
 @c
 
 @setfilename gmediaserver.info
+@ifinfo
+@format
+START-INFO-DIR-ENTRY
+* gmediaserver: (gmediaserver).  UPnP compatible media server for the GNU system
+END-INFO-DIR-ENTRY
+@end format
+@end ifinfo
 @include version.texi
 @settitle GMediaServer
 @finalout