generate-html.sh 1.2 KB

1234567891011121314151617181920212223242526
  1. #!/bin/sh
  2. mkdir -p html
  3. cat > html/style.css <<- EOM
  4. body { margin-left: auto; margin-right: auto; width: 60em; padding-left: 1em; padding-right: 1em; padding-top: 0.5em; background: cornsilk; box-shadow: 0 0.8em 2em #000; }
  5. body > h1:first-child { margin-top: 0; }
  6. html { background: darkslategray } a { color: inherit; text-decoration: none }
  7. section > p { margin-left: 3em; }
  8. table.head, table.foot { width: 100%; }
  9. td.head-rtitle, td.foot-os { text-align: right; }
  10. td.head-vol { text-align: center; }
  11. dd { margin-left: 3em; }
  12. .Bd-indent { margin-left: 3em; }
  13. .Nd, .Bf, .Op { display: inline; }
  14. .Pa, .Ad { font-style: italic; }
  15. .Ms { font-weight: bold; }
  16. .Bl-diag > dt { font-weight: bold; }
  17. code.Nm, .Fl, .Cm, .Ic, code.In, .Fd, .Fn, .Cd { font-weight: bold; font-family: inherit; }
  18. EOM
  19. cat dinit.8 | mandoc -man -Thtml -Ostyle=style.css > html/dinit.8.html
  20. cat dinitcheck.8 | mandoc -man -Thtml -Ostyle=style.css > html/dinitcheck.8.html
  21. cat dinitctl.8 | mandoc -man -Thtml -Ostyle=style.css > html/dinitctl.8.html
  22. cat dinit-monitor.8 | mandoc -man -Thtml -Ostyle=style.css > html/dinit-monitor.8.html
  23. cat dinit-service.5 | mandoc -man -Thtml -Ostyle=style.css > html/dinit-service.5.html