Re: debian-doc files on the Debian web server
Hi,
Osamu Aoki <osamu@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 <hwansing@mailbox.org>
PGP-Fingerprint: 496A C6E8 1442 4B34 8508 3529 59F1 87CA 156E B076
Reply to: