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