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