Hello Texinfo. Guix has a Texinfo manual translated to multiple languages:
share/info/guix.info.gz leads to the English manual. There are also guix.de.info.gz, guix.fr.info.gz, guix.pt_BR.info.gz and more languages. Now the problem is that the command “info guix” does not open the English manual, but Spanish, because only in Guix’ Debian package, the Spanish manual comes first in the share/info/dir file. My question is: Is it to be expected that “info guix” opens (guix.es) when (guix.es) comes before (guix) in the dir file? Note that “info "(guix)"” does select the English manual. This is unexpected as evident in two recent Guix bug reports <https://bugs.gnu.org/78134>, <https://bugs.gnu.org/78374>. Should Texinfo’s selection mechanism be changed? Or is it the fault of the Guix Debian package for putting (guix.es) before (guix) in the share/info/dir file? Thank you for advice, Florian