Re: [patch] fix broken documents in lib/doc

[Georg Baum]

Jose' Matos wrote:

> I need this patch to run doc_toc.py with several documents. Haven't you
> noticed it?

No. What does happen without the patch?


Georg