Hi Jinny,
On 2023-08-07 17:36, Jonny Grant wrote:
>>>
>>> Noticed that sometimes the '⟨' doesn't render, perhaps it is not in all
>>> fonts, would it be possible to use consider using regular '<' and '>'
>>> character in the man page?
>>
>> That is implemented using man(7)'s UR, which is for URI
On 09/08/2023 11:16, Alejandro Colomar wrote:
> Hi Jinny,
>
> On 2023-08-07 17:36, Jonny Grant wrote:
Noticed that sometimes the '⟨' doesn't render, perhaps it is not in all
fonts, would it be possible to use consider using regular '<' and '>'
character in the man page?
>>
Hi Deri,
At 2023-08-05T16:09:41+0100, Deri wrote:
> On Saturday, 5 August 2023 15:55:20 BST G. Branden Robinson wrote:
> > Deri, I'm happy to apply a corrective documentation change to
> > gropdf(1). Is that cool with you? Let me know.
> >
> > I think it'd be a good idea to explicitly note the
