How do port man pages get into https://www.freebsd.org/cgi/man.cgi?

[Michael Gmelin]

On Mon, 31 Aug 2020 20:33:34 +0200
Wolfram Schneider <wosch at freebsd.org> wrote:

> On Wed, 26 Aug 2020 at 18:50, Kurt Jaeger <pi at freebsd.org> wrote:
> >
> > Hi!
> >  
> > > > man.cgi has provisions for most of this already, it's only
> > > > missing some job to regulary extract the latest
> > > >
> > > > ftp://ftp.freebsd.org/pub/FreeBSD/snapshots/amd64/13.0-CURRENT/ports.txz
> > > >
> > > > for the current tree of the manuals.  
> > >
> > > How does it actually create the pages though?  
> >
> > wosch probably knows this.  
> 
> Indeed ;-)

Thanks!

> 
> The ports manual pages will be updated once when a new release comes
> out. Maybe every 3-9 months. The update takes hours and a lot of
> resources (60GB download of all packages and unpacking).
> 

It would be cool if you could share the scriptwork that does this.
Getting to a higher update frequency for ports would be really useful,
but it feels like that this will require coordination between different
teams/individuals.

> -Wolfram

Do you have any idea why the man page below isn't included?

> > > E.g., the
> > > man page paperless(7) created by deskutils/py-paperless [0] still
> > > isn't available over man.cgi, even though the port was created a
> > > long time before 12.1 was released and is in 12.1's ports.txz.  

Cheers,
Michael

-- 
Michael Gmelin