bug#58333: Manual PDFs other than en and es fail to build

[Julien Lepiller]

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