On 17 January 2010 08:49, Daniel Herring <dherring at tentpost.com> wrote: > Hi all, > > Would you consider applying the attached patch? It fixes an obscure > nuisance when generating the documentation. Committed, thanks! Cheers, -- Nikodemus