On 04/08/2017 05:52 PM, Jakub Wilk wrote: > Signed-off-by: Jakub Wilk <jwilk@xxxxxxxxx> Hi Jakub, Applied. Thanks! Cheers, Michael > --- > man8/zdump.8 | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/man8/zdump.8 b/man8/zdump.8 > index 789e6672b..f5c2d643b 100644 > --- a/man8/zdump.8 > +++ b/man8/zdump.8 > @@ -24,7 +24,7 @@ prints the current time in each > .I zonename > named on the command line. > .PP > -These options are available: > +.SH OPTIONS > .TP > .B \-\-version > Output version information and exit. > -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/ -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
