Re: debian-doc files on the Debian web server

Hi,

Osamu Aoki <[email protected]> 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