diff options
| -rw-r--r-- | tools/doc/html.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/doc/html.js b/tools/doc/html.js index 1c44c5f7d3..f2d3fcdbba 100644 --- a/tools/doc/html.js +++ b/tools/doc/html.js @@ -416,7 +416,7 @@ const BSD_ONLY_SYSCALLS = new Set(['lchmod']); // '<a href="http://man7.org/linux/man-pages/man2/open.2.html">open(2)</a>' function linkManPages(text) { return text.replace( - / ([a-z.]+)\((\d)([a-z]?)\)/gm, + /\b([a-z.]+)\((\d)([a-z]?)\)/gm, (match, name, number, optionalCharacter) => { // name consists of lowercase letters, number is a single digit const displayAs = `${name}(${number}${optionalCharacter})`; |