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