diff options
author | kleines Filmröllchen <malu.bertsch@gmail.com> | 2022-01-07 14:15:44 +0100 |
---|---|---|
committer | Linus Groh <mail@linusgroh.de> | 2022-01-11 00:24:57 +0100 |
commit | 98c0c5e9e65c1ef42f6a3a1da2726950ac79c560 (patch) | |
tree | ba08ac8e698584734215bc78ada3000d234644f9 /Base/usr/share/man/man2/getpid.md | |
parent | becf74097e853d9ad501628f9d6f8b70cdaa8d6e (diff) | |
download | serenity-98c0c5e9e65c1ef42f6a3a1da2726950ac79c560.zip |
Help+Base: Add help://man URLs for links between man pages
The URLs of the form `help://man/<section>/<page>` link to another help
page inside the help application. All previous relative page links are
replaced by this new form. This doesn't change any behavior but it looks
much nicer :^)
Note that man doesn't handle these new links, but the previous relative
links didn't work either.
Diffstat (limited to 'Base/usr/share/man/man2/getpid.md')
-rw-r--r-- | Base/usr/share/man/man2/getpid.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Base/usr/share/man/man2/getpid.md b/Base/usr/share/man/man2/getpid.md index 38ce073022..b266ab8f05 100644 --- a/Base/usr/share/man/man2/getpid.md +++ b/Base/usr/share/man/man2/getpid.md @@ -24,5 +24,5 @@ None. ## See also -* [`getppid`(2)](getppid.md) -* [`gettid`(2)](gettid.md) +* [`getppid`(2)](help://man/2/getppid) +* [`gettid`(2)](help://man/2/gettid) |