Script (unofficial) to generate HTML man pages

doc/manpages/Makefile

@@ -19,6 +19,9 @@ endif
 clean:
 	rm -f dinit.8 dinitctl.8 dinitcheck.8 dinit-service.5 shutdown.8
 
+html: generate
+	./generate-html.sh
+
 dinit.8: dinit.8.m4
 	m4 -DVERSION=$(VERSION) -DMONTH=$(MONTH) -DYEAR=$(YEAR) dinit.8.m4 > dinit.8
 

doc/manpages/generate-html.sh

@@ -0,0 +1,9 @@
+#!/bin/sh
+
+mkdir -p html
+STYLE='/^<style type="text\/css">/a\       body    { margin-left: auto; margin-right: auto; width: 60em; padding-left: 1em; padding-right: 1em; background: cornsilk }'
+STYLE2='/^<style type="text\/css">/a\       html    { background: aliceblue }'
+cat dinit.8         | groff -mandoc -Thtml | sed -e "$STYLE" -e "$STYLE2" > html/dinit.8.html
+cat dinitcheck.8    | groff -mandoc -Thtml | sed -e "$STYLE" -e "$STYLE2" > html/dinitcheck.8.html
+cat dinitctl.8      | groff -mandoc -Thtml | sed -e "$STYLE" -e "$STYLE2" > html/dinitctl.8.html
+cat dinit-service.5 | groff -mandoc -Thtml | sed -e "$STYLE" -e "$STYLE2" > html/dinit-service.5.html