Adapt man page styling for recent website CSS changes

This commit is contained in:
Michael Klishin 2019-01-31 05:08:57 +03:00
parent 209dcac8d6
commit affcfca9c6
No known key found for this signature in database
GPG Key ID: 2C0DA45F4F944489
3 changed files with 4 additions and 4 deletions

View File

@ -284,8 +284,8 @@ web-manpages: $(WEB_MANPAGES)
gsub(/<\/h2>/, "</h3>", line); \
gsub(/<h1/, "<h2", line); \
gsub(/<\/h1>/, "</h2>", line); \
gsub(/class="D1"/, "class=\"D1 sourcecode bash hljs\"", line); \
gsub(/class="Bd Bd-indent"/, "class=\"Bd Bd-indent sourcecode bash hljs\"", line); \
gsub(/class="D1"/, "class=\"D1 lang-bash\"", line); \
gsub(/class="Bd Bd-indent"/, "class=\"Bd Bd-indent lang-bash\"", line); \
print line; \
} } \
' > "$@"

View File

@ -82,7 +82,7 @@ To learn more, see the
.Bl -tag -width Ds
.It Fl n Ar node
Default node is
.Qq Pf rabbit@ Ar target-hostname ,
.Qq Ar rabbit@target-hostname ,
where
.Ar target-hostname
is the local host.

View File

@ -57,7 +57,7 @@ and
.Bl -tag -width Ds
.It Fl n Ar node
Default node is
.Qq Pf rabbit@ Ar target-hostname ,
.Qq Ar rabbit@target-hostname ,
where
.Ar target-hostname
is the local host.