В письме от вторник, 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 :-) )