[sudo-workers] Building sudo manual pages

[Michael Kerrisk (man7.org)]

Hello Todd,

Thanks for the quick reply!

[...]

> You could do something like this:
>
> ./configure
> mkdir destdir
> make -C doc DESTDIR=`pwd`/destdir INSTALL_OWNER= install-doc
>
> and then install the man pages from destdir/usr/local/man

Perfect!

Thank you!

Cheers,

Michael

-- 
Michael Kerrisk, man7.org Training and Consulting
mtk at man7.org, http://man7.org/training/
"The Linux Programming Interface" -- http://man7.org/tlpi/