1 cc9bf8f2 2021-11-05 op #!/bin/sh
 2 cc9bf8f2 2021-11-05 op #
 3 cc9bf8f2 2021-11-05 op # usage: mdoc2html.sh src out
 4 cc9bf8f2 2021-11-05 op #
 5 cc9bf8f2 2021-11-05 op # converts the manpage `src' to the HTML file `out', tweaking the
 6 cc9bf8f2 2021-11-05 op # style
 7 cc9bf8f2 2021-11-05 op 
 8 cc9bf8f2 2021-11-05 op set -e
 9 cc9bf8f2 2021-11-05 op 
10 cc9bf8f2 2021-11-05 op : ${1:?missing input file}
11 cc9bf8f2 2021-11-05 op : ${2:?missing output file}
12 cc9bf8f2 2021-11-05 op 
13 cc9bf8f2 2021-11-05 op man -Thtml -l "$1" > "$2"
14 cc9bf8f2 2021-11-05 op 
15 cc9bf8f2 2021-11-05 op exec ed "$2" <<EOF
16 cc9bf8f2 2021-11-05 op /<style>
17 cc9bf8f2 2021-11-05 op a
18 cc9bf8f2 2021-11-05 op     body {
19 cc9bf8f2 2021-11-05 op         max-width: 960px;
20 cc9bf8f2 2021-11-05 op         margin: 0 auto;
21 cc9bf8f2 2021-11-05 op         padding: 0 10px;
22 cc9bf8f2 2021-11-05 op         font-size: 1rem;
23 cc9bf8f2 2021-11-05 op     }
24 cc9bf8f2 2021-11-05 op 
25 cc9bf8f2 2021-11-05 op     pre {
26 cc9bf8f2 2021-11-05 op         overflow: auto;
27 cc9bf8f2 2021-11-05 op     }
28 cc9bf8f2 2021-11-05 op .
29 cc9bf8f2 2021-11-05 op wq
30 cc9bf8f2 2021-11-05 op EOF