You can push this fix directly to the repo, but please also fix it on weblate or it'll break again next time I update translations.

Le 7 octobre 2022 08:34:51 GMT+02:00, Ricardo Wurmus <rekado@elephly.net> a écrit :

Ricardo Wurmus <rekado@elephly.net> writes:

The error in guix.de.texi is an infinite loop. The location it points
out is wrong syntax:

@uref{@uref{https://webssh.huashengdun.org/, WebSSH}}

There shouldn’t be a double-wrapping in @uref.

I can confirm that fixing the bad translation in
po/doc/guix-manual.de.po allows us to build the German version of the
PDF manual.

--
Ricardo