diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2023-12-25 03:31:33 +0100 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2023-12-25 03:31:33 +0100 |
| commit | 415047810053054f10b9701dd0fd1ef7df3ef5e3 (patch) | |
| tree | e281e46cd6ddf1b302f911951371e3e5c5d3f78d /include | |
| parent | e50db1d199eb18a9d9e5ab02c3928989f4a7d81f (diff) | |
Set mandoc OS
Diffstat (limited to 'include')
| -rwxr-xr-x | include/mkman | 2 |
1 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 } |