On 2015-04-18 Sat 16:21 PM |, Theo de Raadt wrote: > > If the ports infrastructure manual pages were simply part of a package > that is neccessary for building ports, then the manuals could show up > in /usr/local/man, removing the need for any configuration. >
Slick idea. -- Cat, n.: Lapwarmer with built-in buzzer.