Re: mandoc -T html default style

2018-12-26 Thread Ted Unangst
Raphael Graf wrote: > The diff inserts some space above the footer. > This improves readability and makes it similar to the other output formats. > > Here is an example found in the wild, demonstrating the problem: > https://webassembly.github.io/wabt/doc/wasm-objdump.1.html okay, now that other

Re: mandoc -T html default style

2018-12-24 Thread Ingo Schwarze
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.

Re: mandoc -T html default style

2018-12-24 Thread Ted Unangst
Ingo Schwarze 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

Re: mandoc -T html default style

2018-12-24 Thread Ingo Schwarze
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

Re: mandoc -T html default style

2018-12-23 Thread Todd C. Miller
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

Re: mandoc -T html default style

2018-12-22 Thread Ingo Schwarze
Hi Ted, Ted Unangst wrote on Sat, Dec 22, 2018 at 12:13:35PM -0500: > Ingo Schwarze wrote: >> What about making -O style= *compulsory* unless "option style" is >> defined in man.conf(5)? Just error out when no style sheet is >> configured? That can be combined with inlining the full set of >>

Re: mandoc -T html default style

2018-12-22 Thread Ted Unangst
Ingo Schwarze wrote: > What about making -O style= *compulsory* unless "option style" is > defined in man.conf(5)? Just error out when no style sheet is > configured? That can be combined with inlining the full set of > rules when -O style=inline is explicitly specified. This seems

Re: mandoc -T html default style

2018-12-22 Thread Chris Bennett
I just have to say that that I agree with Ingo 100%. There are just so many ways that html could be used besides just typical static manpage styles. inlining could be a good case, but only for a limited set of uses. I would really cringe at having to strip out inline CSS. Anyone who just prefers

Re: mandoc -T html default style

2018-12-21 Thread Ingo Schwarze
Hi Ted, Ted Unangst wrote on Fri, Dec 21, 2018 at 02:53:19PM -0500: > Ingo Schwarze wrote: >> 2. When calling "mandoc -T html" without specifying "-O style=", >> fall back to "-O style=/var/www/htdocs/mandoc.css" by default. >> That might be sensible because it is adequate for local >>

Re: mandoc -T html default style

2018-12-21 Thread Ted Unangst
Ingo Schwarze wrote: > 2. When calling "mandoc -T html" without specifying "-O style=", > fall back to "-O style=/var/www/htdocs/mandoc.css" by default. > That might be sensible because it is adequate for local > viewing of the file, which is likely intended with files > generated

Re: mandoc -T html default style

2018-12-21 Thread Raphael Graf
Hi Ingo, On Thu, December 20, 2018 11:53 pm, Ingo Schwarze wrote: > Hi Ted, hi Raphael, > > Ted Unangst wrote on Thu, Dec 20, 2018 at 11:36:06AM -0500: >> Raphael Graf wrote: > >>> The diff inserts some space above the footer. >>> This improves readability and makes it similar to the other output

Re: mandoc -T html default style

2018-12-20 Thread Ingo Schwarze
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

Re: mandoc -T html default style

2018-12-20 Thread Theo de Raadt
> 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. Speaking of which I think the bgplg parts should not be in there by default, either. Web

Re: mandoc -T html default style

2018-12-20 Thread Ingo Schwarze
Hi Ted, hi Raphael, Ted Unangst wrote on Thu, Dec 20, 2018 at 11:36:06AM -0500: > Raphael Graf wrote: >> The diff inserts some space above the footer. >> This improves readability and makes it similar to the other output formats. >> >> Here is an example found in the wild, demonstrating the

Re: mandoc -T html default style

2018-12-20 Thread Ted Unangst
Raphael Graf wrote: > The diff inserts some space above the footer. > This improves readability and makes it similar to the other output formats. > > Here is an example found in the wild, demonstrating the problem: > https://webassembly.github.io/wabt/doc/wasm-objdump.1.html So I think one

mandoc -T html default style

2018-12-20 Thread Raphael Graf
The diff inserts some space above the footer. This improves readability and makes it similar to the other output formats. Here is an example found in the wild, demonstrating the problem: https://webassembly.github.io/wabt/doc/wasm-objdump.1.html Index: html.c