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

[Michael Gmelin]

On Wed, 26 Aug 2020 18:37:51 +0200
Kurt Jaeger <pi at freebsd.org> wrote:

> Hi!
> 
> > > Any ideas on how man.cgi can be made to also display ports head
> > > man pages ?  
> 
> > One way would be to extract man pages from the binary packages we
> > provide - this would allow to have man pages for head and quarterly
> > branches. [...]  
> 
> 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? 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

[0]https://svnweb.freebsd.org/ports/head/deskutils/py-paperless/

-- 
Michael Gmelin