search

CTSRD-CHERI / cheribsd-ports

FreeBSD ports tree adapted for CheriBSD.
https://CheriBSD.org
Other
5 stars 11 forks source link

Include port man pages at man.CheriBSD.org #113

Closed kwitaszczyk closed 7 months ago

kwitaszczyk commented 9 months ago

Similarly to FreeBSD, we might want to consider including all or selected ports' man pages at man.CheriBSD.org.

brooksdavis commented 9 months ago

I think this risks confusion. We might want to make a separate repo, perhaps combined for convenience. Not exactly sure how best to do that. Regardless, I think I'd be tempted to limit the set to dependencies of x11/cheri-desktop.

kwitaszczyk commented 7 months ago

We've decided not to deploy ports' man pages at man.CheriBSD.org, at least for now.