Ingo Schwarze wrote: > > > That would be fine with me. I definitely think it should be installed > > somewhere. I found it odd that I had to look for mandoc.css in the > > source tree when I needed it. > > That would be the following patch.
ok to install. And then update the mandoc man page itself? Index: mandoc.1 =================================================================== RCS file: /cvs/src/usr.bin/mandoc/mandoc.1,v retrieving revision 1.157 diff -u -p -r1.157 mandoc.1 --- mandoc.1 20 Dec 2018 18:23:18 -0000 1.157 +++ mandoc.1 24 Dec 2018 18:30:32 -0000 @@ -321,7 +321,7 @@ Equations rendered from blocks use MathML. .Pp The -.Pa mandoc.css +.Pa /usr/share/misc/mandoc.css file documents style-sheet classes available for customising output. If a style-sheet is not specified with .Fl O Cm style , @@ -686,10 +686,10 @@ To page manuals to the terminal: .Dl $ mandoc -l mandoc.1 man.1 apropos.1 makewhatis.8 .Pp To produce HTML manuals with -.Pa mandoc.css +.Pa /usr/share/misc/mandoc.css as the style-sheet: .Pp -.Dl $ mandoc \-T html -O style=mandoc.css mdoc.7 \*(Gt mdoc.7.html +.Dl $ mandoc \-T html -O style=/usr/share/misc/mandoc.css mdoc.7 \*(Gt mdoc.7.html .Pp To check over a large set of manuals: .Pp