Re: Make doc is broken

[Jean-Charles Malahieude]

Le 20/08/2011 17:26, Jean-Charles Malahieude disait :
> Le 20/08/2011 16:26, Phil Holmes disait :
> > I think Reinhold's commit cfcb9efdbd7c6600fc89fc912ba80529010b31e7
> > has broken make doc. I've just done a clean build (fresh build
> > directory) and get this at the end of a failed make doc:
> >
> > [...]
>
> I had made a fresh build and make doc before pushing, and have not
> encountered this...
>
> Let me try it again while translating on a local clone, and saving the
> logs just in case. Without a "-j3", it will last about 90mn.


Verdict: success

Cheers,
Jean-Charles