Hi, Osamu Aoki <os...@debian.org> wrote (Wed, 03 Nov 2021 23:45:44 +0900): > Holger: You are building installation-guide from source. Even though this is > on > 'lessoften' side, it is quite heavy process. Since new 7doc can handle > stable and > oldstable, using 7doc may be an idea.
Such build is only triggered, when a new version of installation-guide is uploaded, so only happens approx. 1-3 times a year (wild guess). So I guess it's not worse any effort. Holger -- Holger Wansing <hwans...@mailbox.org> PGP-Fingerprint: 496A C6E8 1442 4B34 8508 3529 59F1 87CA 156E B076