Re: Building sudo manual pages

"Todd C. Miller" <[email protected]> Sat, 13 Jun 2020 05:37:23 -0600
Newsgroups gmane.comp.tools.sudo.devel
Message-ID <[email protected]>
On Sat, 13 Jun 2020 12:57:43 +0200, "Michael Kerrisk (man7.org)" wrote:

> But what I hope to see is the section name as a suffix of the
> filename. Thus, I expect to see a file "sudo.8" rather than
> "sudo.mdoc. I presume there's a way of doing that, but so far I did
> not spot it.[2]

I think you'll need to install the docs into a DESTDIR to get the
suffixes you expect.  The reason for this is that the man sections
differ based on the platform.  For example, while Linux follows the
BSD convention of admin commands being in section 8 and file formats
in section 5, SystemV-derived systems put admin commands in section
1m and file formats in section 4.

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

 - todd
____________________________________________________________
sudo-workers mailing list <[email protected]>
For list information, options, or to unsubscribe, visit:
https://www.sudo.ws/mailman/listinfo/sudo-workers