[PATCH] manual: Use @code{errno} instead of @var{errno} [BZ #24063]

[Siddhesh Poyarekar]

On 07/01/19 3:03 PM, Florian Weimer wrote:
> * Joseph Myers:
> 
>> OK.
> 
> Thanks.
> 
> Siddhesh, should I put this on the master branch for 2.29?

Yes please.

Thanks,
Siddhesh