Hi Alex, On 5/10/21 9:39 AM, Alejandro Colomar wrote: > Signed-off-by: Alejandro Colomar <alx.manpages@xxxxxxxxx> Applied. Thanks, Michael > --- > man3/__ppc_get_timebase.3 | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/man3/__ppc_get_timebase.3 b/man3/__ppc_get_timebase.3 > index 9939767ae..618ca74dc 100644 > --- a/man3/__ppc_get_timebase.3 > +++ b/man3/__ppc_get_timebase.3 > @@ -31,7 +31,7 @@ __ppc_get_timebase, __ppc_get_timebase_freq \- get the current value > .nf > .B #include <sys/platform/ppc.h> > .PP > -.BI "uint64_t __ppc_get_timebase(void)" > +.BI "uint64_t __ppc_get_timebase(void);" > .BI "uint64_t __ppc_get_timebase_freq(void);" > .fi > .SH DESCRIPTION > -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/