Re: failure building docs with version.itexi

2008-04-18 Thread John Mandereau
Reinhold Kainhofer wrote: > > /home/lilypond/lilypond/Documentation/user/macros.itexi:9: > > @include `version.itexi': No such file or directory. Aargh, I forgot about INSTALL.texi and only tested with 'make web'. Sorry. > John, I suppose, all those targets should rather depend on version.itexi,

Re: failure building docs with version.itexi

2008-04-18 Thread Reinhold Kainhofer
Am Freitag, 18. April 2008 schrieb Graham Percival: > Attempting to build the docs on the GDP server fails in > Documentation/topdocs/ > on version.itexi. I can't reproduce this on my OSX laptop; did > something change between texinfo 4.11 (my laptop) and the > pre-release texinfo 4.12 on GDP? >

failure building docs with version.itexi

2008-04-17 Thread Graham Percival
Attempting to build the docs on the GDP server fails in Documentation/topdocs/ on version.itexi. I can't reproduce this on my OSX laptop; did something change between texinfo 4.11 (my laptop) and the pre-release texinfo 4.12 on GDP? I'm not certain whether I should be asking Reinhold or John ab