On 2024-Aug-22, Dave Page wrote:
> On Thu, 22 Aug 2024 at 08:58, hubert depesz lubaczewski <depesz@depesz.com>
> wrote:
>
> > would it be possible to get access to whole docs site, for all versions,
> > via rsync? I'd like have a copy of docs for my grepping purposes, and
> > would like to refresh it every so often, but preferably without need to
> > redownload the whole thing whenever new releases happen.
>
> /docs/** is dynamically generated, so there are no doc files (except the
> PDFs) to share via rsync.
It's probably easier to generate the HTML yourself. These days, the
installation required is very simple on most standard Linux distros (not
talking about gentoo, arch, etc).
--
Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/
