diff options
author | 2021-03-12 21:10:54 +0000 | |
---|---|---|
committer | 2021-03-12 23:02:56 +0100 | |
commit | 99b3768a5a41c74b74106c08cb93a54a731eeff2 (patch) | |
tree | a40cdab9e1173f4018aab6d3fed88565c2cee266 /tools-reference | |
parent | tools-reference/bash: fix typo (diff) | |
download | devmanual-99b3768a5a41c74b74106c08cb93a54a731eeff2.tar.gz devmanual-99b3768a5a41c74b74106c08cb93a54a731eeff2.tar.bz2 devmanual-99b3768a5a41c74b74106c08cb93a54a731eeff2.zip |
tools-reference/diff-and-patch: use name(section) notation for man pages
Signed-off-by: Sam James <sam@gentoo.org>
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'tools-reference')
-rw-r--r-- | tools-reference/diff-and-patch/text.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools-reference/diff-and-patch/text.xml b/tools-reference/diff-and-patch/text.xml index dcbbf18..8a6172d 100644 --- a/tools-reference/diff-and-patch/text.xml +++ b/tools-reference/diff-and-patch/text.xml @@ -43,7 +43,7 @@ beginning with EAPI=6, instead — see </p> <p> -The diff-1 and patch-1 manual pages provide more information. +The <c>diff(1)</c> and <c>patch(1)</c> manual pages provide more information. </p> </body> |