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.

Reply via email to