poudriere complains of "Duplicated origin" for a couple of ports

2020-08-26 Thread tech-lists
Hi, Where would I report an issue with "Duplicated origin" causing poudriere bulk -a to fail? I temporarily got around the problem by manually deleting the problematic ports from the downloaded ports tree. These were: lang/ocaml-nox11 misc/mc-nox11 ports tree is head@546297 basically do I

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

2020-08-26 Thread Kurt Jaeger
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?

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

2020-08-26 Thread Michael Gmelin
On Wed, 26 Aug 2020 18:37:51 +0200 Kurt Jaeger 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

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

2020-08-26 Thread Kurt Jaeger
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,

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

2020-08-26 Thread Michael Gmelin
On Wed, 26 Aug 2020 16:53:30 +0200 Kurt Jaeger wrote: > Hi! > > > Is there any documentation explaining how port man pages are > > generated for man.cgi > > The man.cgi script itself is in the docs svn repo: > >

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

2020-08-26 Thread Kurt Jaeger
Hi! > Is there any documentation explaining how port man pages are generated > for man.cgi The man.cgi script itself is in the docs svn repo: https://svnweb.freebsd.org/doc/head/en_US.ISO8859-1/htdocs/cgi/man.cgi?revision=54262=markup We find that each released version has that version's ports

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

2020-08-26 Thread 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