commit eaaeb82fb38b2a58148cb08a736215843668c7b5
parent e6556e1776942860b67b686eee4f150f431b8e67
Author: Andreas Gruhler <agruhl@gmx.ch>
Date: Wed, 5 Jan 2022 01:18:04 +0100
feat(man): use soju man-style css
Diffstat:
2 files changed, 2 insertions(+), 13 deletions(-)
diff --git a/docs/TESTING.md b/docs/TESTING.md
@@ -60,7 +60,7 @@ sudo apt-get install mandoc
Generate HTML file:
```bash
-mandoc -Thtml man1/diary.1 > man1/diary.1.html
+mandoc -Thtml -O style=https://soju.im/doc/man-style.css man1/diary.1 > man1/diary.1.html
```
### `groff` HTML
diff --git a/man1/diary.1.html b/man1/diary.1.html
@@ -2,18 +2,7 @@
<html>
<head>
<meta charset="utf-8"/>
- <style>
- table.head, table.foot { width: 100%; }
- td.head-rtitle, td.foot-os { text-align: right; }
- td.head-vol { text-align: center; }
- div.Pp { margin: 1ex 0ex; }
- div.Nd, div.Bf, div.Op { display: inline; }
- span.Pa, span.Ad { font-style: italic; }
- span.Ms { font-weight: bold; }
- dl.Bl-diag > dt { font-weight: bold; }
- code.Nm, code.Fl, code.Cm, code.Ic, code.In, code.Fd, code.Fn,
- code.Cd { font-weight: bold; font-family: inherit; }
- </style>
+ <link rel="stylesheet" href="https://soju.im/doc/man-style.css" type="text/css" media="all"/>
<title>DIARY(1)</title>
</head>
<body>
