bug#36781: Website manual generation stopped

["Ludovic Courtès" <ludo@gnu.org>]

Hi,

Julien Lepiller <julien@lepiller.eu> skribis:

> Hi guix, it seems that the devel version of the manual is not regenerated as intended. The website says that it's still from July 18th.

Indeed it fails like this:

--8<---------------cut here---------------start------------->8---
ludo@berlin ~$ sudo su - static-web-site -c /gnu/store/9w4bbd6gqya2g9zvwgs6qab6aqgbjbd3-update-guix-manual-devel
Backtrace:
           7 (primitive-load "/gnu/store/9w4bbd6gqya2g9zvwgs6qab6aqg…")
In ice-9/eval.scm:
    619:8  6 (_ #f)
   626:19  5 (_ #<directory (guile-user) 2366140>)
In unknown file:
           4 (_ #<procedure 2dd2960 at ice-9/eval.scm:330:13 ()> #<…> …)
In guix/git.scm:
   240:29  3 (update-cached-checkout "https://git.sv.gnu.org/git/gu…" …)
In ice-9/boot-9.scm:
    841:4  2 (with-throw-handler _ _ _)
In git/clone.scm:
     41:8  1 (_ _ _ _)
In ice-9/boot-9.scm:
   752:25  0 (dispatch-exception _ _ _)

ice-9/boot-9.scm:752:25: In procedure dispatch-exception:
Git error: cross host redirect not allowed
--8<---------------cut here---------------end--------------->8---

So I think we have to change the repo URL in berlin.scm.

Ludo’.