[Top][All Lists]

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

Re: recent make doc failure

From: James
Subject: Re: recent make doc failure
Date: Tue, 29 Nov 2011 23:24:46 +0000


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.



reply via email to

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