Re: Building sudo manual pages

"Michael Kerrisk (man7.org)" <[email protected]> Sat, 13 Jun 2020 13:46:22 +0200
Newsgroups gmane.comp.tools.sudo.devel
Message-ID <CAFs=pgYRk=7n7Sb78ZuVnKCkNf0n=vwawd8kZOdxqGGFmMBvaw@mail.gmail.com>
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
[email protected], http://man7.org/training/
"The Linux Programming Interface" -- http://man7.org/tlpi/
____________________________________________________________
sudo-workers mailing list <[email protected]>
For list information, options, or to unsubscribe, visit:
https://www.sudo.ws/mailman/listinfo/sudo-workers