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

[Michael Gmelin]

Hi,

I maintain at least one port that installs a man page that doesn't show
up in https://www.freebsd.org/cgi/man.cgi. Also, there seem to be cases
where man pages of ports are outdated (e.g.,
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=248927 was opened
today, the man page of the port in question was fixed on May 3rd 2020).

Is there any documentation explaining how port man pages are generated
for man.cgi and how frequently they're updated? Like, are they taken
from binary packages every few months or are they maybe created from the
ports tree that's current at the time of a release (so "FreeBSD
12.1-RELEASE and Ports" contains man pages based on
https://download.freebsd.org/ftp/releases/amd64/12.1-RELEASE/ports.txz)?

Cheers,
Michael

-- 
Michael Gmelin