Re: make install fails

[Edwin Leuven]

José Matos wrote:

On Tuesday 29 August 2006 12:05, José Matos wrote:

  It looks like doc_toc.py needs some care. I will have a look into it.

  Fixed.

that's quick!

thanks, ed.