>>> Should this part of the font setup be baked into the Docker image?
>>
>> I don't know enough about Docker images to decide that. In case
>> the Docker's `$HOME` directory can be easily deleted on a clean-up,
>> nothing needs to be changed IMHO. Otherwise it is trivial to set
>> the `$TEXMFVAR` environment variable to an appropriate temporary
>> directory before a LilyPond documentation build.
>
> I meant that "I have to do X, Y, Z after updating TexLive" sounds to
> me like this stuff is an environmental prerequisite rather than
> something the LilyPond makefiles should worry about (but I have no
> experience with TeX).
Yes. However, if you install TeXLive as packages from a GNU/Linux
distribution, AFAIK the only thing necessary is to set the `$TEXMFVAR`
variable, if you want to change that. The additional stuff I've
described in a previous e-mail should have been done by the packager
already (using post-install scripts).
Werner
