20 апр. 2015 г. 14:16 пользователь "Stuart Henderson" <st...@openbsd.org>
написал:
>
> On 2015/04/20 11:27, Craig Skinner wrote:
> > 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.
> >
>
> "A package that is necessary for building ports" slight chicken and egg
problem here.

Being more precise, it's needed for creating and further editing of ports,
but not for building them.

And following "run pkg_add ports-man to start hacking ports" is even easier
than "edit /etc/man.conf", especially in a long run (no merging is needed).

The only exception is, well, ports.7 which, obviously, should live under
/usr/share/man and contain the instruction above.

Does it look like a plan, or is it too naive and stupid? :)

--
Vadim Zhukov

Reply via email to