[PATCH 0/2] Document void *

[Jonathan Wakely]

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.