Bug#538665: debian-policy: "Info documents" section is outdated

[Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>]

On Sun, Aug 16, 2009 at 11:36:29AM -0700, Russ Allbery wrote:
> Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr> writes:
> > On Fri, Aug 14, 2009 at 09:52:59AM -0700, Russ Allbery wrote:
> 
> >> The generated file should contain a section like:
> >> 
> >> @dircategory Individual utilities
> >> @direntry
> >> * example: (example).               An example info directory entry.
> >> @end direntry
> >> 
> >> which will cause makeinfo to generate the directory entry information.
> 
> > Probably this information should be included as a footnote in policy.
> 
> It is -- that's a footnote in the current Policy document.

Excellent! This has been in the patch since the start and I always managed
to skip it.

Cheers,
-- 
Bill. <ballombe@debian.org>

Imagine a large red swirl here.