Re: URIs mark-up
From: Michael Kerrisk (man-pages) <hidden>
Date: 2021-01-08 11:01:13
From: Michael Kerrisk (man-pages) <hidden>
Date: 2021-01-08 11:01:13
Hi Alex, On 1/7/21 6:50 PM, Alejandro Colomar (man-pages) wrote:
Hi Michael, See hostname.7:102. There are URLs and they're not marked up in any way. I guess there are a lot more like those around the pages. Should they?
I'm not sure what you mean by "not marked up". That URI is wrapped in a .UR/.UE pair, and I think all of the others in other pages are too(?). Thanks, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/