Re: [patch] fix doc_toc.py documentation bug 3798

[Uwe Stöhr]

>> Can this go in José?

>  Yes.

Done:
http://www.lyx.org/trac/changeset/19122

Uwe