Hi Ted, Ted Unangst wrote on Mon, Dec 24, 2018 at 01:31:50PM -0500: > Ingo Schwarze wrote: >> Todd Miller 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? Yes, please commit. If you want, you can change the word order to The file /usr/share/misc/mandoc.css documents... which seems to read better to me with the longer name and replace the ugly and obsolete \*(Gt with a plain ASCII > while there; same twice again a few lines below. deraadt@ also told me that "something in the tree must say it is there", and i think this is the right place because this is where -T html is documented, and everybody who needs the file is running -T html in one way or another. Yours, Ingo > 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
