"pelzflorian (Florian Pelz)" <pelzflor...@pelzflorian.de> writes: > Before we close this bug: >[…]after guix pull,[…]the English guix manual come first[…] > This should hold for you as well after `guix pull`. > If not, what is the value of `echo $INFOPATH`?
Anyway, closing the bug now. Regards, Florian
