--- 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