В письме от вторник, 1 января 2019 г. 11:24:11 MSK пользователь Michael
Paquier написал:
> Not sure if that's something worse bothering about, but you could do
> the same in src/tools/make_etags.
Good idea. Done.
(I did not do it in the first place because I do not use etags and can't
properly check it, but really if some files are created, then everything should
be working well. This is good enough check :-) )