svn commit: r438413 - in head/devel: . debugedit debugedit/files

[Maxim Sobolev]

Yes, also I think use of this option should be reasonable. If it's just
1.5k file just let it be, don't need to prompt poor user if he wants it or
not. Just install the damn thing.

-Max

On Thu, Apr 13, 2017 at 12:03 PM, Jan Beich <jbeich at freebsd.org> wrote:

> Alexey Dokuchaev <danfe at FreeBSD.org> writes:
>
> >> +    ${INSTALL_MAN} ${WRKSRC}/README.txt ${STAGEDIR}${DOCSDIR}
> >
> > INSTALL_MAN is not for docs, it's for manpages.  Also, when installing
> docs,
> > it's a good idea to OPTIONS_DEFINE+=DOCS and use
> {do|post}-install-DOCS-on
> > special helper target.
>
> PHB disagrees with you:
>
>   - INSTALL_MAN is a command to install manpages and other documentation
>     (it does not compress anything).
>
> https://www.freebsd.org/doc/en/books/porters-handbook/install.html
>
>