Hi,

dan mclaughlin wrote on Sun, Apr 12, 2015 at 04:43:31PM -0400:

> it seems that /usr/ports/infrastructure/man is not searched by default,

Correct.  The reason is that that directory does not even exist
in a default OpenBSD installation.

> and there is no example in man.conf for it.

Correct, too.  I'm not opposed to adding that example.
Your patch, as it stands, is NOT OK though, because the example
file shows the default settings.  So at least, the line needs
to be commented out, and a comment explaining its purpose
might be in order, too.

> given that some pages like dpb(1) are there, and referenced
> thruout a number of pages (eg bsd.port.mk), this seems an oversight.

Actually, the reason why i didn't mention it in the example file
is that it seemed so trivial to me that i didn't expect that this
particular example might help some people.  If it does - fair enough.

> on a releated note, it also seems that ports/infrastructure/man/mandoc.db
> is also not created by default.

There is no reasonable way to include that file.  The ports tarball
is a *source* tarball, and mandoc.db is not a source file.
Either running "makewhatis /usr/ports/infrastructure/man" or
adding it to man.conf(5) and running "makewhatis" is required.

> the diff below adds a manpath to man.conf, but that still doesn't fix the
> issue of ports/infrastructure/man not being searched. perhaps this should
> be taken out of examples?

No.  It was specifically decided not long ago that
/usr/ports/infrastructure/man will not be searched by default.  If
you want it, you have to add it manually.

> or at least some note should be made in ports(7) or the FAQ that
> one should add this?

Something like that is probably useful.

Yours,
  Ingo

> many regular manpages reference it,
> and 'man dpb' never works by default.
> 
> --- etc/examples/man.conf     Fri Mar 27 17:17:16 2015
> +++ etc/examples/man.conf.new Sun Apr 12 16:24:55 2015
> @@ -7,6 +7,7 @@
>  manpath /usr/share/man
>  manpath /usr/X11R6/man
>  manpath /usr/local/man
> +manpath /usr/ports/infrastructure/man
>  
>  # Options for terminal output.
>  output width 78

Reply via email to