diff options
author | 2020-01-08 10:33:55 +0100 | |
---|---|---|
committer | 2020-01-09 09:31:56 +0100 | |
commit | 2a47d037f690f575c28a5fa4863c1483a8ddd46b (patch) | |
tree | 02cb7393f33efc92c766f9af1bc3d495f681b384 /tools-reference | |
parent | tools-reference/head-and-tail: Add another example for tail. (diff) | |
download | devmanual-2a47d037f690f575c28a5fa4863c1483a8ddd46b.tar.gz devmanual-2a47d037f690f575c28a5fa4863c1483a8ddd46b.tar.bz2 devmanual-2a47d037f690f575c28a5fa4863c1483a8ddd46b.zip |
tools-reference/head-and-tail: Fix highlighting in title.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'tools-reference')
-rw-r--r-- | tools-reference/head-and-tail/text.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools-reference/head-and-tail/text.xml b/tools-reference/head-and-tail/text.xml index 06f17de..44f0264 100644 --- a/tools-reference/head-and-tail/text.xml +++ b/tools-reference/head-and-tail/text.xml @@ -1,7 +1,7 @@ <?xml version="1.0"?> <guide self="tools-reference/head-and-tail/"> <chapter> -<title><c>head-and-tail</c> -- Line Extraction</title> +<title><c>head</c> and <c>tail</c> -- Line Extraction</title> <body> <p> |