On Sat, Oct 17, 2020 at 11:22:22PM +0100, David Carlisle wrote:
> [...]
> > On a side note (since core babel is required): could you tell the babel
> > developers
> 
> Javier is on this list I think , so you contacted him already:-)
> 
> >   to correct babel.ins in order to not provoke an unnecessary
> > overwrite check by docstrip, because "babel.log" is also used as the
> > output name of a file created as a side effect. Namely, in:
> >
> > % Dummy, it just read "modules" to be used when generating
> > % the actual file. There must be a better way.
> > \savingtrue
> > \generate{\usepreamble\empty
> >            \usepostamble\empty
> >            \file{babel.log}{\from{babel.dtx}{dummy}}}
> > \savingfalse
> >
> > replace babel.log by dummy.log, for example (this is what I do by ed'ing
> > or sed'ing the file; but the less custom processing, the better ;)
> 
> 
> If you use the supplied l3build script and unpack with `l3build install` 
> this isn't actually a problem but it does seem a bit odd, perhaps leave 
> an issue at https://github.com/latex3/babel/issues so it doesn't get 
> forgotten.


OK, done.

Best,
-- 
        Thierry Laronde <tlaronde +AT+ polynum +dot+ com>
                     http://www.kergis.com/
                http://www.kergis.com/kertex.html
                       http://www.sbfa.fr/
Key fingerprint = 0FF7 E906 FBAF FE95 FD89  250D 52B1 AE95 6006 F40C