On 17 January 2010 08:49, Daniel Herring dherring@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