diff options
Diffstat (limited to 'tools/doc')
-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 dfd0f22c7c..24c4614fc2 100644 --- a/tools/doc/html.js +++ b/tools/doc/html.js @@ -141,7 +141,7 @@ function linkManPages(text) { MAN_PAGE, (match, beginning, name, number, optionalCharacter) => { // Name consists of lowercase letters, // number is a single digit with an optional lowercase letter. - const displayAs = `${name}(${number}${optionalCharacter})`; + const displayAs = `<code>${name}(${number}${optionalCharacter})</code>`; if (BSD_ONLY_SYSCALLS.has(name)) { return `${beginning}<a href="https://www.freebsd.org/cgi/man.cgi` + |