summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2023-12-25 03:31:33 +0100
committerThomas Voss <mail@thomasvoss.com> 2023-12-25 03:31:33 +0100
commit415047810053054f10b9701dd0fd1ef7df3ef5e3 (patch)
treee281e46cd6ddf1b302f911951371e3e5c5d3f78d
parente50db1d199eb18a9d9e5ab02c3928989f4a7d81f (diff)
Set mandoc OS
-rwxr-xr-xinclude/mkman2
-rw-r--r--src/fonts/iosevka-italic.woff2bin15540 -> 15604 bytes
-rw-r--r--src/fonts/iosevka-regular.woff2bin14044 -> 14140 bytes
3 files changed, 1 insertions, 1 deletions
diff --git a/include/mkman b/include/mkman
index 30250eb..9e04763 100755
--- a/include/mkman
+++ b/include/mkman
@@ -12,7 +12,7 @@ func dl link {
echo "}} hr{}"
} | gsp -d | read head
curl -LSs $link
- | mandoc -Thtml -Ostyle=/man/style.css
+ | mandoc -Thtml -I os=MangoOS -Ostyle=/man/style.css
| awk -v head=$head '
!/^<body>/
/^<body>/ { print $0, head }
diff --git a/src/fonts/iosevka-italic.woff2 b/src/fonts/iosevka-italic.woff2
index e5563c6..2c5cadb 100644
--- a/src/fonts/iosevka-italic.woff2
+++ b/src/fonts/iosevka-italic.woff2
Binary files differ
diff --git a/src/fonts/iosevka-regular.woff2 b/src/fonts/iosevka-regular.woff2
index ebca331..c2f57e7 100644
--- a/src/fonts/iosevka-regular.woff2
+++ b/src/fonts/iosevka-regular.woff2
Binary files differ