Re: recent make doc failure

[Julien Rioux]

On 29/11/2011 6:24 PM, James wrote:
> Julien
>
> On 29 November 2011 22:28, Julien Rioux<address@hidden>  wrote:
>
> > Hi all,
> >
> > In a fresh checkout I run
> > ./autogen.sh --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.

Cheers,
Julien