On Sun, Apr 21, 2019 at 05:13:56PM +0200, pelzflorian (Florian Pelz) wrote: > sed -i 's|^\(info_TEXINFOS =\)|\1 %D%/guix.ru.texi |' doc/local.mk
Oops, there are more places in doc/local.mk where guix.ru needs to be added. Just look for all places where guix.fr or guix.de is mentioned.
