Re: Make doc error 2.13.10

[David Kastrup]

Graham Percival <address@hidden> writes:

> On Mon, Dec 21, 2009 at 4:18 PM, Trevor Daniels <address@hidden> wrote:
>>
>> Colin Campbell wrote Monday, December 21, 2009 3:33 PM
>>>
>>> After building LP 2.13.10 from git, I wanted an HTML copy of the docs, so
>>> I cd to /Documentation and did make doc. The result was a segfault:
>>
>> Try make doc in the directory above /Documentation,
>> whatever you chose to call it.
>
> That shouldn't matter; I've make doc 'd in many directories before
> doing it in the topdir.
>
> I'm trying a full rebuild now; I'm getting some errors, but I'm not
> certain if they're just the expected random errors from using
> CPU_COUNT, or whether they're more serious.  I'll report back in a
> while.

Nicolas integrated my define-markup-command patches recently.  Previous
versions had reported memory problems which I could not reproduce, but
tried to fix nevertheless, and the revised version was reported not to
have the same problems.

The commit would be bfbb8f784d69034c1ed351f6a00173338ee9aa04.  It might
be worth checking if reverting this particular commit cures the problem
for the original poster.

If yes, his g++ and guile versions would be important to know, and other
platform details.

If no, so much the better.  For me, I mean.

-- 
David Kastrup