Hi,

it looks like so far, we haven't found a good way to make
the -T html -O style= default friendlier that is free of major
downsides - but people using -T html need the file mandoc.css in
any case, even those who do not build from source.

Todd C. Miller wrote on Sun, Dec 23, 2018 at 07:39:25AM -0700:
> 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.

That would be the following patch.

Yours,
  Ingo


Index: Makefile
===================================================================
RCS file: /cvs/src/usr.bin/mandoc/Makefile,v
retrieving revision 1.113
diff -u -p -r1.113 Makefile
--- Makefile    14 Dec 2018 01:17:46 -0000      1.113
+++ Makefile    24 Dec 2018 12:23:45 -0000
@@ -34,6 +34,10 @@ MAN =        apropos.1 man.1 mandoc.1 man.conf.
 
 CLEANFILES += man.cgi cgi.o
 
+afterinstall:
+       install -o ${BINOWN} -g ${BINGRP} -m 444 \
+           ${.CURDIR}/mandoc.css ${DESTDIR}/usr/share/misc
+
 
 # ----------------------------------------------------------------------
 # Variables and targets to build and install man.cgi(8),

Reply via email to