On Fri, 21 Dec 2018 00:10:10 +0100, Ingo Schwarze wrote: > I see the point, and it makes sense to me. > > So in case people want a sensible default for "-O style=" as suggested, > where should the file go? > > Maybe /usr/share/misc/mandoc.css ?
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. - todd - todd
