[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:1.9.2.18) 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.
Cheers,
Jean-Charles