On 03/06/2015 01:47 PM, saulery@xxxxxxx wrote: > From: Stéphane Aulery <saulery@xxxxxxx> Thanks, Stéphane. Applied. Cheers, Michael > Highlighting like other commands (2) > > Signed-off-by: Stéphane Aulery <saulery@xxxxxxx> > --- > man1/intro.1 | 5 ++++- > 1 file changed, 4 insertions(+), 1 deletion(-) > > diff --git a/man1/intro.1 b/man1/intro.1 > index 3a29ff8..a87a336 100644 > --- a/man1/intro.1 > +++ b/man1/intro.1 > @@ -281,7 +281,10 @@ There are thousands of commands, each with many options. > Traditionally commands are documented on > .IR "man pages" , > (like this one), so that the command "man kill" will document > -the use of the command "kill" (and "man man" document the command "man"). > +the use of the command > +.I kill > +(and "man man" document the command > +.IR man ). > The program > .I man > sends the text through some > -- 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