On Thu, 1 Oct 2020 at 16:51, Alejandro Colomar via Gcc <gcc@gcc.gnu.org> wrote: > > Hi Michael, > > On 2020-10-01 17:34, Michael Kerrisk (man-pages) wrote: > > Hello Alex, > > > > On 10/1/20 5:06 PM, Alejandro Colomar wrote: > >> Hello Michael, > >> > >> This type is very special, > >> so I will probably have missed some details about it. > > > > I do wonder if we actually need this in page at all, and given: > > > I think it should be. > I would also document 'void', even if it's a bit weird... > They are very useful, so why not document them?
Because the man-pages are not a tutorial for the C language. "The Linux man-pages project documents the Linux kernel and C library interfaces that are employed by user-space programs." void and void* are not APIs.
