On 2015/10/23 11:52, Ingo Schwarze wrote: > I didn't use it so far, but now that you made me look at it, i'm > likely to start using it almost daily. I often felt unhappy that > my gmdiff tool (for comparing groff and mandoc output) does not > show bold and underline fonts and i always had to pipe the gmdiff > output to less, even if it was short. Calling ul(1) at the end of > the gmdiff script elegantly fixes that problem.
This made me try ul(1) with gmdiff, which led me to trying it with an incomplete filename (I used tab-completion and didn't notice that there were multiple files). Found this: $ mandoc nonexistent mandoc: nonexistent: ERROR: No such file or directory Segmentation fault