[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Make doc is broken

From: Jean-Charles Malahieude
Subject: Re: Make doc is broken
Date: Sat, 20 Aug 2011 17:26:41 +0200
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv: Gecko/20110621 Fedora/3.1.11-1.fc14 Thunderbird/3.1.11

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]