generate-html.sh 664 B

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