Re: "$LILYPOND_BUILD_DIR/Documentation/out/version.itexi"

[Urs Liska]

Am 19.04.2013 13:19, schrieb Urs Liska:
> What does this file refer to and from what is it generated?
>
> I am working on making the auxiliary script doc-section.sh independent 
> from an existent LilyPond build. I could remove most dependencies so 
> far, but this one isn't possible.
>
> The script wants to copy this file to the output directory for the 
> temporary docs - which obviously fails because I don't have a build 
> (and someone who just wants to compile a doc section shouldn't be 
> required to build LilyPond first ;-)
>
> Strangely enough that file is first copied to one target directory and 
> then to another one, seemingly without being used (except it is needed 
> implicitely in the run of lilypond-book or texi2html.
>
> Except for the error message about the missing file the script runs 
> fine. But I don't know if there is something missing in the final output.
>
> Urs

Hm.
I managed to create version.itexi directly (with 
scripts/build/create-version-itexi.py) and remove the dependency on the 
build directory.
Then it is used by build/tempdocs/MANUAL/SECTION.texi (@include 
version.itexi), but in build/tempdocs/MANUAL/out/SECTION.texi isn't any 
trace of it anymore (and consequently not in the resulting HTML).

What is to be done about that?
Should this version information somehow go into the output (and how?)?
Or should I completely remove any references to it?

Urs