Hi Stuart, Stuart Henderson wrote on Fri, Oct 23, 2015 at 11:28:35AM +0100: > 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 Reported by czarkoff@ yesterday, and fixed yesterday. Sorry for the temporary regression, Ingo
