Hi Theo,

Theo de Raadt wrote on Thu, Dec 20, 2018 at 03:58:31PM -0700:
> Ingo Schwarze wrote:

>>  1. Install /var/www/htdocs/mandoc.css by default.

> I object to adding something to that directory.
> 
> I think it should be empty so that users have nothing else surprising
> in it when they start using it.

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 ?

Yours,
  Ingo

Reply via email to