recent make doc failure

[Julien Rioux]

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?

The last time I did a git pull was this weekend. The git HEAD gives me 
a228baa1e5bb0f0d65c371e7da5076a7d8f58a5e, I am not saying anything is 
wrong with this commit, just that this is the first time I experience 
this make doc failure.

Just looking for some confirmation so that I can identify if I did 
something wrong or not.

Thanks,
Julien

/home/jrioux/git/lilypond/build0/scripts/build/out/extract_texi_filenames -o 
/home/jrioux/git/lilypond/build0/./out-www/xref-maps -I ./out-www -I 
/home/jrioux/git/lilypond/Documentation/fr -I 
/home/jrioux/git/lilypond/Documentation/fr/included -I 
/home/jrioux/git/lilypond/Documentation -I 
/home/jrioux/git/lilypond/build0/Documentation/./out-www 
--master-map-file=/home/jrioux/git/lilypond/build0/./out-www/xref-maps/usage.xref-map 
out-www/usage.texi
extract_texi_filenames.py: Processing out-www/usage.texi
writing: 
/home/jrioux/git/lilypond/build0/./out-www/xref-maps/usage.fr.xref-map
cp -p web.texi out-www/web.texi
cp: cannot stat `web.texi': No such file or directory
make[3]: *** [out-www/web.texi] Error 1
make[3]: Leaving directory 
`/home/jrioux/git/lilypond/build0/Documentation/fr'
make[2]: *** [WWW-1] Error 2
make[2]: Leaving directory `/home/jrioux/git/lilypond/build0/Documentation'
make[1]: *** [WWW-1] Error 2
make[1]: Leaving directory `/home/jrioux/git/lilypond/build0'
make: *** [doc-stage-1] Error 2