Ship mandoc.css for better rendered HTML man pages
With our port of mandoc we don't ship upstream
mandoc.css (apart from copy-paste in
webrev.sh), which happens to be useful when generating HTML files via
In files attached to this ticket one can compare the
mdoc page rendered with and without the CSS file (
-Thtml -O style=mandoc.css). I suggest that the one with CSS is the superior one.
And, as rightly pointed in a review (https://www.illumos.org/rb/r/1975/),
mandoc.1 refers to
mandoc.css file being in
/usr/share/misc/, this needs to be changed once it's clear where the file should be put.