[Top][All Lists]

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

Re: recent make doc failure

From: Julien Rioux
Subject: Re: recent make doc failure
Date: Tue, 29 Nov 2011 18:25:37 -0500
User-agent: Mozilla/5.0 (Windows NT 5.1; rv:8.0) Gecko/20111105 Thunderbird/8.0

On 29/11/2011 6:24 PM, James wrote:

On 29 November 2011 22:28, Julien Rioux<address@hidden>  wrote:

Hi all,

In a fresh checkout I run
./ --noconfigure
mkdir build0
cd build0
../configure --disable-optimising
make&&  make doc

This is a sequential make and make doc. The latter stops with the error
message given below. Extract_texi_filename is the last thing that runs
correctly and then make tries to copy a file from the build dir instead of
the source dir. Does anybody else experience this?

No. I've just done a full doc build from current master with no problems.

Thanks for checking. I take note.


reply via email to

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